Add InvariantFunctor instance for Shrink.