dhall-1.42.3: tests/regression/issue1884.dhall

let Make = \(T: Type) -> { Type = { a: T },  default = {=} }

in
(Make Natural) with default = { a = 2 }