(defalias AnyMonad "A monad with bind, result, and optionally zero and plus." (TFn [[m :< (TFn [[x :variance :covariant]] Any)]] '{:m-bind (All [

(defalias AnyMonad "A monad with bind, result, and optionally zero and plus." (TFn [[m :< (TFn [[x :variance :covariant]] Any)]] '{:m-bind (All [x y] [(m x) [x -> (m y)] -> (m y)]) :m-result (All [x] [x -> (m x)]) :m-zero (U (All [x] (m x)) Undefined) :m-plus (U (All [x] [(m x) * -> (m x)]) Undefined)})) If you say so ...