- Monadic operations
- Tuples and accessors
- Constructor
- Accessor (first, second)
- Datatypes and synonyms
- Algebraic types
- Compound types
- Type model interface
- Data constructors
- Sanity checks
- Controls
- Pattern matching
- Wildcard pattern
- Guards
- List operations
- Constructor
- Accessor (first, last)
- Concatenation
- Function operations
- Local bindings
- Degenerate local bindings (in Haskell, a "let" in a do-block)
- Anonymous functions
- Variables
- Getter
- Setter
- Block mutator
(not implemented)