1 2 3 4 5 6 7 8 9 10 11
{-# LANGUAGE TypeFamilies #-} module ShouldFail where type family F a foo :: p a -> p a foo x = x bar = foo (undefined :: F ())