>>893
型付きラムダ算法というやつだろうか?