added Functor m to MonadComputer type alias, so it could be removed from a bunch of other places.