[Haskell-cafe] Re: [darcs-conflicts] how to nicely implement phantom type coersion?

On 12/8/05, David Roundy wrote:

So is there some other approach that I can use for easily coercing phantom types based on runtime checks? Any suggestions?

None here. Since H-M uses type unification to do type inference, you can't auto-create a program based on the inferred types around it. -- Taral "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra