Profiling monadic code

The problem I have been trying to profile some code using the Eff monad from effectful but have been having trouble with the costs not being attributed properly to the effectful action. Any SCC annotation I add to an effectful action like so: do foo <- {-# SCC "foo" #-} someEffectfulAction x doesn’t seem to capture the cost of the effectful action. If I use ghc-debug-brick to look at a thunk, in most cases, instead of seeing “foo” somewhere in the CCS, I will only see runEff and unsafeEff fo...