Would it cause me any problems if I added "deriving Show" to all the types in compiler/hsSyn? (Can't think of a problem here... is there any reason why this is not done by default? - It is really handy if trying to pattern match on code syntax to be able to see what abstract syntax is generated by certain code) Keean.