Re: [Haskell] Closed Projections on HLists?

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 Haskell@haskell.org 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