{ records : List { a : Natural }
, nested :
    { records : List { a : Natural } }
}