Module Fn.Abstract

module Abstract: sig .. end

type +'a t 

val fn : ('a -> 'b) -> ('a -> 'b) t

val app : ('a -> 'b) t -> 'a -> 'b