scala – 将OOP“装饰器”重构为自由monad结构

class TrackingDao(tracker: Tracker) extends Dao {
    def fetchById(id: UUID,source: String): Option[String] = {
        tracker.track("fetchById",source) {
            actualFetchLogic(...)
        }
    }
    ...
}

我试图把它塑造成一个免费的monad.我为DAO操作定义了以下代数：

sealed trait DBOp[A]
case class FetchById(id: UUID) extends DBOp[Option[String]]
...

我看到两个选择：

a)我可以制作两个采用DBOp的解释器,一个执行实际的数据访问,另一个执行跟踪,并将它们组合在一起或者
b)我使跟踪成为一个显式代数,并使用Coproduct在组合OR中使用它们
c)完全不同的东西！

第一个选项看起来更像是“装饰器”方法,它与DBOp绑定,第二个选项是更通用的解决方案,但需要明确调用“跟踪”代数.

另外,请注意原始fetchById调用的source参数：它仅用于跟踪.我更愿意从API中删除它.

这是实际问题：如何建模跟踪？