QuickCheck has no way of knowing that ghci has ExtendedDefaultRules enabled, and (quite aside from the difficulty of doing type-case in Haskell) I'm not sure that arbitrarily declaring types involving () to be user error is a good idea.
--