Interoperability libraries for Shapeless