Monadic interface