[Haskell] detecting existing instances

[David Menendez]

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>
<http://www.eyrie.org/~zednenem/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20080110/79c94fca/attachment.htm