Lambda 化 [tt-000D]

最後真正構造一個 lambda abstraction，就得到了