Redirecting to Monad (functional programming)