bifoldMap

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