Replacing MonadComp with MonadDES in module Circuit.