dhall-1.25.0: tests/diff/appListA.dhall

λ(f : List Bool -> Bool) → f ([] : List Bool)