Adds tests and fixes Monad module.