:: x a c -> x b d -> x (Either a b) (Either c d) -package:monoidal-functors

No results found