24 Nov
2007
24 Nov
'07
1:06 p.m.
that did it, thanks.
2007/11/24, Brent Yorgey
-- Just for fun, make it work with StateT as well -- (needs -fallow-undecidable-instances)
instance (Monad (t m), MonadTrans t, MonadPrompt p m) => MonadPrompt p
(tm) where
prompt = lift . prompt
Looks like that should be MonadPrompt p (t m) rather than (tm). Note the space.
-Brent