Identifier newtype
TypeVars.newVars
Rename class Var -> HasVar
TypeVars: No FlexibleInstances
TypePart merged into HasVar