F-expressions and call/cc are often regarded as elegant but far too powerful. Are there other language features like this?