stuff on data types