"monad"@en-us . .