RE: deriving weirdness on newtypes

| newtype Foo = Foo Int deriving (Num) | instance Show Foo where { show = undefined } | | then, the value of 'show (Foo 5)' is undefined, but the value of 'show | (5::Foo)' is "5". definately *WRONG*. You're right. This is all a bit more complicated than I (or John H) thought. Thinking cap on. But don't hold your breath. Simon