[scalatic algebra]: Fixing Monad.scala to work with general TC