Thank you to everyone for the responses. I guess what I should have
clarified is that I know how Peano numbers are *normally* encoded in
the type language (I am very familiar with the HList library), but I
would like to know why the type language appears to require data
structures to do so while
system can avoid this problem?
Thanks for your help,
~ Jared Warren [EMAIL PROTECTED]
Computing Science, Queen's University
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
to make the former work
as well? Even modifying fst doesn't work:
fst' :: Thing b = (a,b) - a
fst' (~a,~b) = a
--
~ Jared Warren [EMAIL PROTECTED]
Computing Science, Queen's University
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http