Quotients in Monadic Programming: Projective Algebras Are Equivalent to Coalgebras