Corecursive Algebras, Corecursive Monads and Bloom Monads (Logical Methods in Computer Science, 2014)