1 2 3 4 5 6
--> 1:47 | 1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)␊ | ^ | = Type error: Unbound variable