Added dot-monad with better names