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.
If I remove several levity polymorphism checks:
then GHC successfully validates. Either this code is no longer necessary, or we're missing some tests.