InvariantFunctor[ScalaType]