[voxfrege]

Actually, you can write:

    foo = (\a -> \b ->  (a+b)*(a-b)) :: Num z => z -> z -> z

HOwever, it is quite un-idiomatic, of course.