pushing types around