Contravariant.Extras
contramany
data
Supplied
divisible