## val_appl :  추가태 (applicative)