doctest for Moonad
doctest for Moonad