Re: [Haskell-cafe] Introspection on types.