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