proposal: add 'unsafeCoerce'

Taral taralx at
Mon Nov 20 15:34:28 EST 2006

On 11/20/06, Malcolm Wallace <Malcolm.Wallace at> wrote:
> There is one more important use case you haven't mentioned:
>     * casting from a newtype to the contained value (or vice versa).
> This latter type of cast is the only one I can remember ever having used
> myself.

Why do you need to cast for this? You have "casting" operators in the
form of the constructor and (synthesized) destructor.

Taral <taralx at>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Libraries mailing list