A Pointless Library Proposal

[Simon Peyton-Jones]

| 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