Define the interface for result.
REStype t<'good, 'bad> = | Ok('good) | Error('bad)
type t<'good, 'bad> = | Ok('good) | Error('bad)