public static function mplus($m1, $m2) { return Monoid\TypeArray::mappend($m1, $m2); }
public static function mzero() { return Monoid\TypeArray::mempty(); }