As an underlying building block, it will be a shame to limit it like this. Not that I particularly want to implement things like switch statements, but having to enumerate a different thunk for every different possibility in the generic case seems to be problematic.

Late binding would also allow for optional parameters, which would be pretty helpful.