`runTrace` does not compose with other effects

[re-xyr]

Current function signature of runTrace is

runTrace :: Eff '[Trace] a -> IO a

which is less composable than

runTrace :: LastMember IO es => Eff (Trace ': es) a -> Eff es a
runTrace = interpret \case
  Trace s -> sendM $ putStrLn s

Do you think it'll be better to change it to that?