dhall-1.42.3: tests/diff/appListA.dhall

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