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

[Taral]

On 12/8/05, David Roundy <droundy at abridgegame.org> 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 <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra