Demonstration of json4s parsing based on shapeless automatic typeclasses with coproducts