data List a = Nil | Cons a (List a) instance Monoid List where zero = Nil -- 4:10-4:16: Couldn't resolve class Monoid.