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

[Tom Ellis]

On Thu, Apr 04, 2013 at 11:02:34AM +0000, Johannes Waldmann wrote:
> My feeling is that mathematicians use this principle of leaving out 
> some of the quantifiers and putting some others in the wrong place
> as a cultural entry barrier to protect their field from newbies.

Albert showed an example of leaving out quantifiers, but I didn't see an
example of quantifiers in the wrong place.  Did I miss one?

Tom