Interesting. Thank you for your detailed explanation.
A related Scala-specific technique for this problem category is employing the Stackable Trait Pattern[0] to provide a functional style AOP[1] mechanism. Done carefully, effects (aspects) can be defined independent of specific logic as well as composed with provable invocation order.
Note that the references cited are for those reading this thread and not assumed to be required for the person addressed.