Module type Ocaml_55.Y

type 'a t
val return : 'a -> 'a t