Contents.R
type 'a t = private
| Ok of 'a
| Error of string
We want to replace the string by a proper diagnostic we can send to the client
val map : f:('a -> 'b) -> 'a t -> 'b t