1 2 3 4 5 6 7 8 9 10 11 12
-- !!! Checking that empty declarations are permitted. module ShouldCompile where class Foo a where class Foz a x = 2 where y = 3 instance Foo Int where