define-monadic

(define-syntax (define-monadic x)
  (syntax-case x ()
    ((k id (m) body)
     (with-implicit (k unit bind mmap)
       #'(define id
           (let ((unit (car m))
                 (bind (cdr m))
                 (mmap (mapM (car m) (cdr m))))
             body))))))