Hi,
Sadly, this example shows that Haskell 1.4 does not have a principal
typing property. Your function has the type
all' :: Eq a = (a - Bool) - [a] - Bool
As well as:
all' :: Eq a = (a - Bool) - F a - Bool
(for a suitable Monad F). But Haskell is not capable of
On 10-Mar-1998, Alastair Reid [EMAIL PROTECTED] wrote:
I don't think it's as simple as you suggest:
Probably not, but as you say
Issues 1 and 2 can be solved with sufficient effort. In fact, you
can probably go a long, long way to solving them by implementing
cross-module inlining and a