> let ab a = a+10000 > :t ab ab :: (Num a) => a -> a > let cd c = c+2000000 > :t cd cd :: (Num a) => a -> aab の結果をcdの引数とする。 > cd (ab 1) 2010001cd (ab 1) の構文糖衣。 > cd $ ab 1 2010001cd と ab の関数を合成し、引数に1を渡す。 > …