{- This type is used as part of `dhall-json`'s support for preserving alternative names For example, this Dhall code: ``` let Example = < Left : { foo : Natural } | Right : { bar : Bool } > let Nesting = < Inline | Nested : Text > in { field = "name" , nesting = Nesting.Inline , contents = Example.Left { foo = 2 } } ``` ... generates this JSON: ``` { "foo": 2, "name": "Left" } ``` -} let Nesting : Type = < Inline | Nested : Text > in Nesting