Elixir Types: Operator Precedence

Notes

The Elixir types paper talks about operator precedence.

I thought it was interesting how it changes how we read type signatures when we have combinations of not, and, or, and other type constructors.

Operator precedence:

1. not
2. and, or
3. other type constructors (arrows, records, lists, etc.)