mona4dAn additive monad is a monad endowed with an additional closed, associative, binary operator mplus and an identity element under mplus, called mzero. The Maybe monad can beif you read Monad doc, then you will already know when mainnet will launch. 67 3 172 10.3k. Farokh (PermaBull) I was super bullish on Runes and Ordinals but now have come to conclusion that it was a mistake. There is