- partial application notation with numbered arguments
- pattern matching
- anaphoric if and related notations
- point-free form (no names at all)