Type signature inside an instance declaration

[Neil Mitchell]

Hi

> You want to use `asTypeOf`, with a lazy pattern to name a value of type 'a'.
>
>    pr xs = "[" ++ pr (undefined `asTypeOf` x) ++ "]"
>            where (x:_) = xs

I prefer:

pr xs = "[" ++ pr (undefined `asTypeOf` head x) ++ "]"

Or even more simply:

pr xs = "[" ++ pr (head x) ++ "]"

I do believe there is some GHC extension that can be turned on to
refer to variables like you did, but its not standard Haskell.

Thanks

Neil