Types of polymorphic values introduced by type contructors now have correct polarity.
Types of polymorphic values introduced by type contructors now have correct
polarity.

thasenpusch/fun-lang,thasenpusch/fun-lang