1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilyDependencies #-} module T12430 where type C a = Int type family F x = y | y -> x where F x = C x