>>511
a -> b は aをとってbを返す関数 を表す"型"
型だから型シノニムを使ってそういう風に別名を定義できる