I have a Scala application using the Play Framework\'s json library. I know that json generally allows duplicate keys in an object. However, I would like to disallow duplicate k