<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">&gt; -- Just for fun, make it work with StateT as well
<br>&gt; -- (needs -fallow-undecidable-instances)<br><br>&gt; instance (Monad (t m), MonadTrans t, MonadPrompt p m) =&gt; MonadPrompt p (tm) where<br>&gt; &nbsp; &nbsp;prompt = lift . prompt<br></div></blockquote><br>Looks like that should be MonadPrompt p (t m) rather than (tm).&nbsp; Note the space.
<br><br>-Brent<br></div><br>