[Haskell-cafe] Re: Paper draft: "Denotational design with type class morphisms"