 --> 1:1
  |
1 | x␊
  | ^
  |
  = Type error: Unbound variable
