:: x -> (x, x) package:monoidal-functors