replace-applied-type-by-type-constructors
master
First to be more in line with how the literature treats these types. But also to make them workable with type classes.
