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