builtins.dhall

  λ ( x
    : { field0 : Bool
      , field1 : Optional (Optional Bool)
      , field2 : Natural
      , field3 : Integer
      , field4 : Double
      , field5 : Text
      , field6 : List (List Bool)
      }
    )
→ { field00 = Natural/fold
  , field01 = Natural/build
  , field02 = Natural/isZero
  , field03 = Natural/even
  , field04 = Natural/odd
  , field05 = Natural/toInteger
  , field06 = Natural/show
  , field07 = Integer/show
  , field08 = Double/show
  , field09 = List/build
  , field10 = List/fold
  , field11 = List/length
  , field12 = List/head
  , field13 = List/last
  , field14 = List/indexed
  , field15 = List/reverse
  , field16 = Optional/fold
  , field17 = Optional/build
  , field18 = True
  , field19 = False
  }