Monadic cond in LISP

I'll now post code written with some obscure macros whose implementation will never be released.


(define-macro mcond
  #:keyword (else =>)
  (macro-case
   (() #f)
   (((t) (e . r) ...) (>> failure-m t (mcond (e . r) ...)))
   (((else . t)) (begin . t))
   (((p => f) (e . r) ...) (>> failure-m (>>= maybe-m p f) (mcond (e . r) ...)))
   (((p . t) (e . r) ...) (>> failure-m (>> maybe-m p (begin . t)) (~ (e . r) ...)))))

>>11
Why do you need SBCL hosting? I've got Emacs+SLIME+Paredit+... and SBCL/ClozureCL/ECL/CLISP/LispWorks/AllegroCL/CormanCL installed locally and could easily test any of your code provided it works at all, unless you don't want others to see your implementation for whatever reason(you want to sell it, or you're ashamed of the code or something)