{- Render a `Bool` as `Text` using the same representation as Dhall source code (i.e. beginning with a capital letter) Examples: ``` ./show True = "True" ./show False = "False" ``` -} let show : Bool → Text = λ(b : Bool) → if b then "True" else "False" in show