dhall-1.42.3: tests/diff/appListB.dhall

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