dhall-1.19.0: tests/normalization/success/simple/naturalBuildB.dhall

{ example0 =
    1
, example1 =
    1
, example2 =
    λ(id : ∀(a : Type) → a → a) → id Natural 1
}