blob: a8bc38671276860b2493e817620407aee55a492f (
plain)
1
2
3
4
5
6
7
8
|
T12918a.hs:8:11: error: [GHC-72771]
• The default type signature for fresh:
forall (t :: (* -> *) -> * -> *). MonadTrans t => t m Integer
does not match its corresponding non-default type signature
• When checking the class method:
fresh :: forall (m :: * -> *). MonadSupply m => m Integer
In the class declaration for ‘MonadSupply’
|