yllan 的菜不是變成 untyped lambda calculus 了? (逃