dhall-1.22.0: dhall-lang/tests/normalization/success/unit/OptionalBuildImplementationA.dhall

Optional/build
A
(λ(optional : Type) → λ(just : A → optional) → λ(nothing : optional) → x)