com.github.xuwei-k:shapeless-java-records_2.13 (maven): derive shapeless.Generic instances for Java Records and Sealed Classes
Keywords: generic-programming|java|macros|scala|shapeless