Opaque type encoding for convenient new types, and boilerplate minimization of integration with 3rd party libraries like circe, http4s, doobie, skunk, etc.