making types work