Revise monadic interface.