Re: [Haskell-cafe] Joy Combinators (Occurs check: infinite type)

Keean Schupke wrote:

Haskell is not dependantly typed, so cannot deal with types that "depend" on values.

Can anyone recommend a nice dependently typed language to play with? Cayenne, Epigram, other? Greg Buchholz