Infix.Bifunctor
B : Interface.BIFUNCTOR
val (<<$>>) : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) B.t -> ('b, 'd) B.t