underscore in type variable name