Adding additional haddock documentation about the Monadic interface