simplify type variables
More mixin fun