sig
  type (_, _) t
  val map : ('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t
  val pure : 'a -> ('p, 'a) t
  val ap : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
  val bind : ('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t
end