dhall-1.19.0: tests/normalization/success/prelude/Optional/build/0A.dhall
(../../../../../../Prelude/package.dhall).`Optional`.build Natural ( λ(optional : Type) → λ(some : Natural → optional) → λ(none : optional) → some 1 )
(../../../../../../Prelude/package.dhall).`Optional`.build Natural ( λ(optional : Type) → λ(some : Natural → optional) → λ(none : optional) → some 1 )