[
    "(a (lam (a a)))",
    "(b (lam (b b)))"
]