Refactoring type class ExceptionHandling.
Refactoring: MonadSim -> Comp, MonadEnq -> Enq.