Algebra_for_a_monad loading ...