sig type ('good, 'bad) t = Ok of 'good | Error of 'bad end