Finished dot monad. Corresponding main file.