Comment by mjburgess

pattern matching expressions, syntax for partial application and composition, a typing system which can express structural types, a generalised list comprehension