bifoldMap

inline fun <C> bifoldMap(MN: Monoid<C>, f: (A) -> C, g: (B) -> C): C