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

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