Contravariant.Extras

contramany

data Supplied divisible