Extend types around restrict monad.
Extend MonadRestrict and reduce Aggregatings.