-
ExpectUnlifted is an option when specifying the parameters for a data type, meaning that the data type is deepstrict iff the parameter is unlifted.
-
Also renamed the Strictness/ExpectedStrictness enum to more accurately reflect what it means.
- Support data and type families.
- First version. Released on an unsuspecting world.