:: Either a a -> a package:monoidal-functors