val_appl : 추가태 (applicative) : 0% :