val + type