pass and listen in PlanT's MonadWriter instance are probably invalid

[ivan-timokhin]

pass and listen in PlanT's MonadWriter instance are probably invalid

[YoEight]

Thanks for reporting this. Don't have much time ATM to fix it (I wrote that instance years ago). Did you find out a fix in the meantime?

[ivan-timokhin]

Best I can do is to steal the idea from similar monad in Control.Monad.Trans.Free.Church (free package). There, pass and local both internally convert the argument to a non-CPS representation, work on it, and then convert back (local does something much more interesting, which I don't understand yet).

The idea, then, is to introduce a non-CPS version of PlanT, implement pass and listen for it, and then use it internally in PlanT versions.