I have trouble seeing how Qi is interesting except for sequent calculus and that in and of itself has disturbing practical implications. I'd personally like to

I have trouble seeing how Qi is interesting except for sequent calculus and that in and of itself has disturbing practical implications. I'd personally like to see an example of a practical programming problem which is more easily implemented and integrated in Qi than in, say, Racket. Also, Lambda the Ultimate is a weblog for functional programming, not Lisp specifically.