21 Jun
2016
21 Jun
'16
1:33 p.m.
On 2016-06-21 at 02:12, Christopher Howard
However, it seems that I must implement MonadRandom myself, as there is no instance for this sort of arrangement already.
Deriving the class also works, at least with GHC-7.10.3: newtype ReaderStateRandom r s g a = RSR { rSR :: ReaderT r (StateT s (Rand g)) a } deriving (Functor, Applicative, Monad, MonadReader r, MonadState s, MonadRandom) bergey