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