val_appl : 추가태 (applicative)
거라오어 문헌에 관련 내용 없음.