Infer.Monad.run gets context