Tagged equalityforall