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