Principled type conversions with Natural Transformations by Brian Lonsdorf