The declarative and side-effect-free nature of FP provides dependency inversion. In OOP, high-level modules depend on infrastructure modules primarily to invoke side-effects. In FP, side-effects are more naturally triggered in response to domain behavior, as opposed to being directly invoked by domain behavior. Thus, dependencies become not merely inverted, but pushed to outer layers altogether.