1 2 3 4 5 6 7 8 9
-- A missing kind check made GHC 6.4 crash on this one module ShoudlFail where class Foo f where baa :: f a -> f instance Foo Maybe where baa z = z