Simulation.Aivika.Trans.Comp

class MonadComp m

class MonadCompTrans t m