:: m a -> m b -> m (a, b) package:monoidal-functors