val_appl : 추가태 (applicative)
지눠어 참고문헌에 해당 내용 언급 없음.