Infix.Biapply
B : Interface.BIAPPLY
include sig ... end
val (<<$>>) : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) B.t -> ('b, 'd) B.t
val (<<*>>) : ('a -> 'b, 'c -> 'd) B.t -> ('a, 'c) B.t -> ('b, 'd) B.t