Let the compiler derive HTTP clients from Types
typelevel.org