sig
  val general : ('a -> 'b) -> 'a -> 'b
  val ident : ('a -> 'b) -> 'a -> 'b
  val unit : (unit -> 'a) -> unit -> 'a
end