Writing for both State and StateT
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
foo :: a
The compiler will report a mismatch and the error message will tell
you what it thinks the type is.
Alastair Reid email@example.com
Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/