Has anyone done any research on automatic insertion of type coercions
into Haskell? This is a requirement for our MHDL language, and I am
trying to find a regular way to do it. I think I have found one, but
would be VERY grateful if there was an existing reference.
Dave Barton
[EMAIL PROTECTED]
