関数を一つの型に抽象化できる