1 2 3 4 5 6 7
-- !!! Instance context can't satisfy class-hierarchy constraint module M where class Foo a class Foo a => Bar a instance Num a => Foo [a] instance (Eq a, Enum a) => Bar [a]