[Haskell-cafe] Re: type level functions (type of decreasing list)

[Greg Buchholz]

Stefan Holdermans <stefan at cs.uu.nl> wrote:
> What about the following (tested with GHC 6.6)?

and oleg at pobox.com wrote:
> 
> One way is to use existentials:
<snip>
> Perhaps a better -- and a more general alternative -- is to use
> type-level programming to its fullest.

    Thanks everyone, those are interesting solutions!

Thanks,

Greg Buchholz