Polymorphic function values in shapeless (pt.2) Natural Transformations
chuusai.com