1 2 3 4 5 6 7 8
{-# LANGUAGE TypeFamilies #-} module T14000 where class C a where type T a c :: a -> T a foo = c noSuchThing -- noSuchThing is not in scope