sig
  type +'a t
  val fn : ('a -> 'b) -> ('a -> 'b) Extended_fn.Abstract.t
  val app : ('a -> 'b) Extended_fn.Abstract.t -> 'a -> 'b
end