Class System current status

Bulat Ziganshin bulat.ziganshin at
Fri May 12 09:36:44 EDT 2006

Hello Johannes,

Friday, May 12, 2006, 4:18:29 PM, you wrote:

>     => Partial p i b | p i -> b  where ...       -- (*)

> (*) A funny visual aspect of FDs is the absurd syntax.
> On the left of "|", the whitespace is (type arg) application,
> but on the right, it suddenly denotes sequencing (tupling)

i also don't like this - it's really confusing. "p,i->b" will be
better approach

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at

More information about the Haskell-prime mailing list