co-log-effectful co-log-effectful provides a Log effect for effectful that can use LogActions in the Eff monad