It would be nice to verify that the Scala code reading the dhall-generated JSON is actually able to do that.
It would be nice to verify that the Scala code reading the dhall-generated JSON is actually able to do that.