{- Create a JSON bool from a Dhall `Bool` ``` let JSON = ./package.dhall in JSON.render (JSON.bool True) = "true" let JSON = ./package.dhall in JSON.render (JSON.bool False) = "false" ``` -} let JSON = ./Type sha256:40edbc9371979426df63e064333b02689b969c4cfbbccfa481216d2d1a6e9759 ? ./Type let bool : Bool → JSON = λ(x : Bool) → λ(JSON : Type) → λ ( json : { array : List JSON → JSON , bool : Bool → JSON , double : Double → JSON , integer : Integer → JSON , null : JSON , object : List { mapKey : Text, mapValue : JSON } → JSON , string : Text → JSON } ) → json.bool x in bool