Generate InvariantFunctor with other typeclasses.