Types enhancement