Module type Functor.S

type 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t