[Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.

[Johannes Waldmann]

Tom Ellis <tom-lists-haskell-cafe-2013 <at> jaguarpaw.co.uk> writes:

> I didn't see an example of quantifiers in the wrong place. 

The example was:

>  every x satisfies P(x,y) for some y