18 Jan
2006
18 Jan
'06
1:03 p.m.
On 1/18/06, Keean Schupke
up3 is quite easy to define, but it is specific to the monad-transformer you are lifting through... see attached for definition for the state-monad-transformer.
Ah, you're using undefined for the state. If you're going to do that,
though, why not just have the function provided in the inner monad,
since the features of the transformer are not available?
--
Taral