Hi al! In my holliday I like to hobby a bit with haskell. For a small formalization I wanted to try out a specification which uses infinite types. Does a (extended) haskel compiler exist which allows infinite types? Chees, l4t3r _________________________________________________________________ The new MSN 8: advanced junk mail protection and 2 months FREE* http://join.msn.com/?page=features/junkmail