Coeffects has tags.