dhall-1.22.0: dhall-lang/tests/normalization/success/simple/listBuildB.dhall

{ example0 =
    [ True, False ]
, example1 =
    [ True, False ]
, example2 =
    λ(id : ∀(a : Type) → a → a) → id (List Bool) [ True, False ]
}