# CHECK-TREE: #record { foo : foo = (\a -> a) }
def foo(a):
    return a