Allow unlifted type-class members.

E.g.

{-# LANGUAGE AllowAmbiguousTypes #-}
class SizedU a where
  size :: Int#

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information