note on value types