Isomorphisms, sections, retractions. With printing and parsing in mind.