지금까지는 함수 타입의 의미를 간단하게만 설명해왔다. 하지만 조금 더 자세히 들여다보면 함수 타입은 다른 타입과는 약간 다른 특성을 가지고 있다.
예를 들어 Integer 타입은 그냥 정수들의 집합, 그리고 Bool 타입은 두 개...