[Haskell] detecting existing instances
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...
More information about the Haskell