实例文档中的星号（*）是什么意思？

Question

在MonadState doc page中，ReaderT个实例的MonadState类型中有一个星号（*）：

MonadState s m => MonadState s (ReaderT * r m)

但实际上在源头上，没有明星：

instance MonadState s m => MonadState s (ReaderT r m) where

那么明星在博士中意味着什么？