Использования runRVar в течение некоторого стека монады трансформатора

Question

В следующем примере:

toss :: Double -> RVar Bool 
toss p = do 
    q <- uniform 0 1 
    return $ q <= p 

toss' :: MonadRandom m => Double -> m Bool 
toss' p = runRVar (toss p) StdRandom 


foo :: StateT Int RVar() 
foo = do 
    h <- lift $ toss' 0.5 
    if h then put 100 else put 0 

bar :: StateT Int RVar() 
bar = do 
    h <- lift $ toss 0.5 
    if h then put 404 else put 200 


testFoo :: MonadRandom m => m ((), Int) 
testFoo = runRVar (runStateT foo 0) StdRandom 

testBar :: MonadRandom m => m ((), Int) 
testBar = runRVar (runStateT bar 0) StdRandom 

Я запутался:

1. почему подпись обув вынуждена быть StateT Int RVar() даже если toss' имеет подпись m Bool для некоторых MonadRandom m

2. Почему testFoo должен быть запущен с некоторыми StdRandom, хотя toss' уже runRVar с StdRandom. Это имеет смысл с точки зрения типа, но в котором используется StdRandom? Если этот вопрос имеет смысл вообще.

3. Можно ли переписать подпись foo «s, как MonadRandom m => StateT Int m()

Answer 1

1. Когда ограничение -мономорфизма на (это по умолчанию), все виды вяжущих верхнего уровня будут выведены мономорфные.
2. Вы должны добавить RVar в стек монады, как вы делали в bar. MonadRandom слишком общий. StdRandom - это просто конструктор данных, поэтому он не имеет определенного состояния. random-fu должен автоматически обновлять состояние.
3. Просто добавьте подпись. См. 1.