dhall-concourse/render/optionals/generic.dhall

let Prelude = ../../lib/prelude.dhall

let JSON = Prelude.JSON

let optionalToJSON
    : ∀(T : Type) → (T → JSON.Type) → Optional T → JSON.Type
    = λ(T : Type) →
      λ(toJSON : T → JSON.Type) →
      λ(thing : Optional T) →
        Prelude.Optional.fold T thing JSON.Type toJSON JSON.null

in  optionalToJSON