1

In the MonadState doc page, there's a star (*) inside the ReaderT type of the MonadState instance:

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

But actually in the source, there's no star:

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

So what does the star mean in the doc?

melpomene
  • 81,915
  • 7
  • 76
  • 137
Ben
  • 3,242
  • 3
  • 16
  • 24

0 Answers0