Some Shapeless examples Persistence Typesafe db procedure invocation Api Representing routes ala Servant See Tests for usage.