https://naildrivin5.com/blog/2014/06/30/thinking-in-types.html