Module CCCat.FREE_MONAD.F

module F: CCCat.FUNCTOR 

type +'a t 

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