>>54
コンビネータ、結合子ですか？
圏論？λ理論の話でしたか？
うーん難しい。