> Today I ran across exactly your case. In non-pure languages you would > just write 'case foo of'. I would be happy with just 'function': >=20 > get >>=3D function > ... -> ... > ... -> ... Well, simply extending the Haskell syntax to allow \ p11 .. p1n -> e1 .. pm1 .. pmn -> em (with appropriate layout) should be ok, but I haven't tried it. Guarded right-hand-sides could be allowed too. Cheers, Simon