
(/VERSIONCHECK 2) 

(DEFPARAMETER |MonadWithUnit;AL| 'NIL) 

(DEFUN |MonadWithUnit| ()
  (LET (#:G11056)
    (COND (|MonadWithUnit;AL|)
          (T (SETQ |MonadWithUnit;AL| (|MonadWithUnit;|)))))) 

(DEFUN |MonadWithUnit;| ()
  (PROG (#1=#:G11054)
    (RETURN
     (PROG1
         (LETT #1#
               (|Join| (|Monad|)
                       (|mkCategory| '|domain|
                                     '(((|One| ($) |constant|) T)
                                       ((|one?| ((|Boolean|) $)) T)
                                       ((|rightPower|
                                         ($ $ (|NonNegativeInteger|)))
                                        T)
                                       ((|leftPower|
                                         ($ $ (|NonNegativeInteger|)))
                                        T)
                                       ((^ ($ $ (|NonNegativeInteger|))) T)
                                       ((|recip| ((|Union| $ "failed") $)) T)
                                       ((|leftRecip| ((|Union| $ "failed") $))
                                        T)
                                       ((|rightRecip| ((|Union| $ "failed") $))
                                        T))
                                     NIL '((|NonNegativeInteger|) (|Boolean|))
                                     NIL))
               |MonadWithUnit|)
       (SETELT #1# 0 '(|MonadWithUnit|)))))) 

(MAKEPROP '|MonadWithUnit| 'NILADIC T) 
