Proposal: monad with coerce?

[InfiniteEchoes]

coerce :: M' 0 a → M a
coerce m = \x . let a = m x in (a, x)

As in this paper, I think many operations could be interesting to use, and moreover this might be very useful and more formal to resolve the mutual dependency issue

[clarus]

I think operators would not help to solve the dependencies issue, as operators are mostly syntactical sugar but does not change what we can express, or maybe I do not understand what you mean by mutual dependency issue.

[olympichek]

I second this. I don't understand what exactly do you mean by mutual dependency issue or how coerce can help with it. As for the paper and monadic operations, I would take a look at it later

[InfiniteEchoes]

I second this. I don't understand what exactly do you mean by mutual dependency issue or how coerce can help with it. As for the paper and monadic operations, I would take a look at it later

Yes, for now I also don't take it seriously, since we haven't met anything that requires a serious investigation into the mutual dependency issue yet.