JSON generation and extraction library for Shapeless Records