Presentation on using type isomorphisms to write better code