The Haskell error is made more complicated by the fact that Num is a typeclass that other types can participate in. Other type errors are more tractable: P

The Haskell error is made more complicated by the fact that Num is a typeclass that other types can participate in. Other type errors are more tractable: Prelude> 'a' : 'a' <interactive>:3:7: Couldn't match expected type `[Char]' with actual type `Char' In the second argument of `(:)', namely 'a' In the expression: 'a' : 'a' In an equation for `it': it = 'a' : 'a'