Infix.Functor
F : Interface.FUNCTOR
val (<$>) : ('a -> 'b) -> 'a F.t -> 'b F.t
val (<@>) : 'a F.t -> ('a -> 'b) -> 'b F.t