Jared Warren wrote:
But is there no way things could be changed so we can write (to use an example without projection to HNil):
*> hProject (hProject (hCons hZero hNil)) :: HCons HZero HNil
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
Not surprising as this is just like doing: read (show x)... Project extracts elements of the return-type, so the inner project is unconstrained. Of course this is completely pointless as:
*> hProject (hCons hZero hNil) :: HCons HZero HNil
is what you want. Infact you can almost say that hProject . hProject = hProject?
Keean _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell