Interface.BICONTRAVARIANT
type ('a, 'b) t
val bicmap : ('b -> 'a) -> ('d -> 'c) -> ('a, 'c) t -> ('b, 'd) t