typeは関数型の別名をつけるためのものか

複数の関数で同じ意味合いの引数の型を一括で制御できるな。
こんな関数があるとして

def f(x: (Int) => Int) = x(100)
f((y: Int) => y * 100)

なんてのがtypeを使って書くと

type F = Int => Int
def f(x: F) = x(100)
f((y: Int) => y * 100)

ってなる。
これだと一行増えて、普通に書いたほうがよさそうにみえるけど
使いどころによってはきっと便利なんだって思いたい。。。