monadic interface