First-class polymorphic function values in shapeless — Function values in Scala
chuusai.com