representing types...