[Haskell-cafe] Typeclasses and implicit parameters

[Stefan O'Rear]

On Thu, Sep 06, 2007 at 06:49:21AM -0400, ajb at spamcop.net wrote:
> For completeness, here's the final solution, courtesy of int-e (whose
> real name I don't know; sorry), which is much more elegant than I

Bertram Felgenhauer

> bindString :: (forall s. StringAsType s => Mark s a) -> String -> a
> bindString = unsafeCoerce#

Oooh!  So evil, I love it.

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070906/14cd0b73/attachment.bin