1-F.A
type 'a t = 'a
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
val map2 : 'a t -> 'b t -> f:( 'a -> 'b -> 'c ) -> 'c t
val sequence : 'a Impl.Checked.t t -> 'a t Impl.Checked.t