blob: 697f0f75260998853d680ae8ca4e58993f0fdc19 (
plain) (
tree)
|
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, TypeFamilies, StarIsType #-}
module Bug466 where
class Cl a where
type Fam a :: [*]
data X = X
instance Cl X where
type Fam X = '[Char]
|