Polymorphic function values in shapeless (pt.2) Natural Transformations | Hacker News Reader