proper types