Pattern match, curry by default, function composition, metaprogramming through custom operators, Sum types.