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

Stefan Holdermans wrote:

What about the following (tested with GHC 6.6)?

and oleg@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