Rework GHC's treatment of constraints in kinds
GHC 8.6 accepts
data Q :: Eq a => Type
It shouldn't, as we can't have
Eq a as a constraint in kinds. Note that writing a constructor for
Q is rejected.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information