Quotients in monadic programming: Projective algebras are equivalent to coalgebras | IEEE Conference Publication | IEEE Xplore