[Haskell] detecting existing instances

David Menendez dave at zednenem.com
Thu Jan 10 02:38:00 EST 2008

On Jan 9, 2008 3:10 PM, Ralf Laemmel <rlaemmel at gmail.com> wrote:
> Type-level type cast is the type-level programmer's swiss army knife.

> See the illustration below.

Does this get any easier with type families? Your (TypeCast a b) seems
similar in intent to (a ~ b), but I'm not familiar enough with the latter to
know whether it would work here.

Dave Menendez <dave at zednenem.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20080110/79c94fca/attachment.htm

More information about the Haskell mailing list