Bugfix composite case of 'MonadRestrict Flat' and 'MonadRestrict Aggregated'.