Re: [Haskell-cafe] Automatic Recognition of Functors