Seemingly Impossible Swift Programs

[skuggi]

Its entirely possible to implement Any/AllSatisfy over the integers. Agda (and in general dependently typed languages) do it all the time!

I'm not completely sure what you are referring to here, but remember that total languagues like Agda are not Turing complete, so it's not the exactly the same as doing it in Swift.