Writing for both State and StateT

Alastair Reid alastair@reid-consulting-uk.ltd.uk
Tue, 22 Apr 2003 23:05:09 +0100


> Unfortunately, in this case, with that function in isolation I get,
>
> Ambiguous type variable(s) `s', `m' in the constraint
> `MonadState s m' arising from use of `get' ....

An easy way to get round this is to give a completely bogus type
signature like:

  foo :: a

The compiler will report a mismatch and the error message will tell
you what it thinks the type is.

--
Alastair Reid                 alastair@reid-consulting-uk.ltd.uk  
Reid Consulting (UK) Limited  http://www.reid-consulting-uk.ltd.uk/alastair/