함수형이 곧 미래이기 때문이다