fn my_eq? { (x, y, ...zs) -> if eq? (x, y) then loop (y, zs) with { (a, [b]) -> and (eq? (a, x), eq? (b, x)) (a, [b, ...cs]) -> if eq? (a, x) then recur (b, cs) else false } else false } my_eq? (1, 1, 3)