bifoldMap

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