Shapeless: An exploration of generic/polytypic programming in Scala | Heykuki News