Functions.Functor
F : Interface.FUNCTOR
val void : 'a F.t -> unit F.t
val void_right : 'a -> 'b F.t -> 'a F.t
val void_left : 'a F.t -> 'b -> 'b F.t
val flap : ('a -> 'b) F.t -> 'a -> 'b F.t