<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">> -- Just for fun, make it work with StateT as well
<br>> -- (needs -fallow-undecidable-instances)<br><br>> instance (Monad (t m), MonadTrans t, MonadPrompt p m) => MonadPrompt p (tm) where<br>> prompt = lift . prompt<br></div></blockquote><br>Looks like that should be MonadPrompt p (t m) rather than (tm). Note the space.
<br><br>-Brent<br></div><br>