Very probably, Processor is not ArrowLoop, which would be natural as Process is not MonadFix, for the discontinuous process is not irreversible and the time flows in one direction only.