# LANGUAGE UndecidableInstances , TypeFamilies #

module TyFamBadTyVars where

import Definitions hiding (CT)

* UndecidableInstances , TypeFamilies *

type family CT a where
  CT [(a,b)] = CT (a,a)
* UndecidableInstances , UndecidableInstances , TypeFamilies *

instance C (a,b) where
* UndecidableInstances , TypeFamilies *

# LANGUAGE UndecidableInstances , TypeFamilies #

module TyFamBadTyVars where

import Definitions hiding (CT)

* UndecidableInstances , TypeFamilies *

type family CT a where
  CT [(a,b)] = CT (a,a)
* UndecidableInstances , UndecidableInstances , TypeFamilies *

instance C (a,b) where
* UndecidableInstances , TypeFamilies *
