- [ ] optional (static & dynamic) type and arity checking - [ ] pattern matching (`( 1 Foo( #_ 2 ) ) [ x . ... ] ^~`)
( 1 Foo( #_ 2 ) ) [ x . ... ] ^~)