retractions are quotients
Eat type annotations