Common monads and partial_run