Type equality evidence you can carry around