| The above should work, but I wonder when it is possible to simply derive | Typeable? GHC 6.0 supports deriving( Typeable ), but for some strange reason it's not in the manual. It will be. Simon