Title: "Printing from types - how it developed"