val_appl : 추가태 (applicative) :