Pi, Monads, and the Quasi-Circle Theory