> doesn't make much sense to me yet, although I suspect I can read the mu as a > lambda on types?
Not really. The mu has more to do with recursion. Matthias. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
