RE: A Pointless Library Proposal

| I don't like this idea because the necessary stub is different for different | numbers of arguments, and there's no way to tell how many arguments the | programmer intended. Why? What's wrong with expanding foo :: Int -> Int -> Int into foo :: Int -> Int -> Int foo = error "foo is not yet implemented" which is what I usually write by hand. |I do like the idea of allowing empty case expressions, | though, and I don't think that even a warning would be necessary. So how would you define foo? How would it be better than the above (even if written by hand)? Simon