Do they really need to be part of the language when they can be encoded so readily, either ad-hoc, or with the Cont monad / ContT monad transformer?

I was playing off the 'currying' mentioned above.