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