haskell - 实例文档中的星号 (*) 是什么意思？

Question

在MonadState 文档页面中，实例ReaderT类型中有一个星号 (*) ：MonadState

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

但实际上在源代码中，没有星号：

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

那么文档中的星是什么意思呢？