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

Greg Buchholz haskell at sleepingsquirrel.org
Wed Oct 18 16:44:56 EDT 2006

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:
> Perhaps a better -- and a more general alternative -- is to use
> type-level programming to its fullest.

    Thanks everyone, those are interesting solutions!


Greg Buchholz

More information about the Haskell-Cafe mailing list