Bring back TypeAssertion