precedence
2021/06/04
Type checking: The hard part begins