We were using the Typeable.hs macros, but for no good reason as
far as I can tell.