1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module ShouldFail where class C1 a where data S1 a :: * -- must fail: wrong category of type instance instance C1 Int where type S1 Int = Bool