Re: [Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell