[Haskell-cafe] lifting restrictions on defining instances

[wren ng thornton]

John Lask wrote:
> Can anyone explain the theoretical reason for this limitation, ie other 
> than it is a syntactical restriction, what would it take to lift this 
> restriction ?

There are a couple of theoretical concerns, mainly that full type-level 
lambdas can lead down a rocky path (though simple combinators like 
`flip` and `const` are fine, and that's all we'd need for most cases). 
But by and large it's just a syntactic restriction.

-- 
Live well,
~wren