> Why isn't (f : a b c => d) valid? It unifies with (a->b->c->d), (and > therefore (a->b)) doesn't it?
No, it only unifies with (a->b->c->d) not (a->b). f: a b c => d requires a minimum of 3 arguments Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
