함수형 타입 시스템 기록부

타입명	함수유형	타입특성		적용범위	비고
		특성1	특성2