val_appl : 추가태 (applicative) : :