Added ReaderT and removed IxSet