Add InvariantFunctor instance