Some levity polymorphism checks do not have coverage
If I remove several levity polymorphism checks:
then GHC successfully validates. Either this code is no longer necessary, or we're missing some tests.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information