[ 20 of 139] Compiling Control.Monad.Supply.Class ( src/Control/Monad/Supply/Class.hs, dist/build/Control/Monad/Supply/Class.o )

src/Control/Monad/Supply/Class.hs:31:10: error:
    • Couldn't match type ‘m’ with ‘StateT s m’
      ‘m’ is a rigid type variable bound by
        the instance declaration at src/Control/Monad/Supply/Class.hs:31:10
      Expected type: StateT s m Integer
        Actual type: StateT s (StateT s m) Integer
    • In the expression:
        Control.Monad.Supply.Class.$dmfresh @StateT s m
      In an equation for ‘fresh’:
          fresh = Control.Monad.Supply.Class.$dmfresh @StateT s m
      In the instance declaration for ‘MonadSupply (StateT s m)’
    • Relevant bindings include
        fresh :: StateT s m Integer
          (bound at src/Control/Monad/Supply/Class.hs:31:10)

src/Control/Monad/Supply/Class.hs:31:10: error:
    • Couldn't match type ‘m’ with ‘StateT s m’
      ‘m’ is a rigid type variable bound by
        the instance declaration at src/Control/Monad/Supply/Class.hs:31:10
      Expected type: StateT s m Integer
        Actual type: StateT s (StateT s m) Integer
    • In the expression: Control.Monad.Supply.Class.$dmpeek @StateT s m
      In an equation for ‘peek’:
          peek = Control.Monad.Supply.Class.$dmpeek @StateT s m
      In the instance declaration for ‘MonadSupply (StateT s m)’
    • Relevant bindings include
        peek :: StateT s m Integer
          (bound at src/Control/Monad/Supply/Class.hs:31:10)