random.dhall

let default =
      { range = None (List Natural)
      , text = Some "emoji"
      , width = Some 10
      , depth = Some 5
      , size = Some 100
      , value = None (List Text)
      }

in    default
    ∧ { `[h]` = { `[0]`.a.range = Some [ 42, 42 ], b.range = Some [ 0, 1 ] }
      , list = { depth = Some 20, size = Some 50 }
      , val.value = Some [ "42", "-1" ]
      , left = { depth = Some 1, range = Some [ -200, -100 ] }
      , right.tree = { depth = Some 5, range = Some [ 100, 200 ] }
      , vec.nat8.range = Some [ 65, 90 ]
      , Vec = { width = Some 2, size = Some 10 }
      , profile.record
        =
        { name.text = Some "name"
        , age.range = Some [ 18, 65 ]
        , company.text = Some "company"
        , country.text = Some "country"
        , file.text = Some "path"
        , description.text = Some "bs"
        }
      , principal.value
        = Some
        [ "principal \"aaaaa-aa\"", "principal \"2ibo7-dia\"" ]
      }