dhall-1.25.0: tests/diff/appListB.dhall

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