algebraic data types can be extended by data instance declarations

The following program is accepted by GHC:

{-# LANGUAGE TypeFamilies #-}

data T a = C

data instance T Int = CInt

data instance T Bool = CBool

I think, it shouldn’t.

Trac metadata

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