modelMemoReaderT :: (Show s, MemoM m) => Model (ReaderOp s) (MemoReaderT s m)
modelMemoReaderT (Ask g)     = memoReaderT (\s n -> deMemoReaderT s n (g s))
modelMemoReaderT :: (Show s, MemoM m) => Model (ReaderOp s) (MemoReaderT s m)
modelMemoReaderT (Ask g)     = memoReaderT (\s n -> deMemoReaderT s n (g s))
modelMemoReaderT (Ask g)     = memoReaderT (\s n -> deMemoReaderT s n (g s))