Can we use Clock[F] instead? This may need to refactor (these specific?) metrics updates to be effectful.