refined data types