Error: $[1]: Key(s) b present in the JSON object but not in the expected Dhall record type. This is not allowed unless you enable the --records-loose flag:

Expected Dhall type:
{ a : Natural }

JSON:
{
    "b": 2
}