| | 10 | There are connections to the proposed syntactic support for [wiki:Arrows Arrows] using an extended form of `do`-noation. In particular, the |
| | 11 | [wiki:Arrows Arrows]extension has its own syntax for recursive bindings/feedback. It would clearly be preferable if there was only one variant of |
| | 12 | recursive `do`. Even if the Arrows extensions are not adopted, it does offer a different explicit syntax for recursive bindings through the keyword |
| | 13 | `rec` that arguably is a bit more suggestive of its meaning than `mdo`. Conversely, if it is decided to go for implicit recursion, then it would |
| | 14 | seem reasonable to opt for the same in the case of Arrows, if possible. If not, then that might be another argument against implicit |
| | 15 | recursion. |
| | 16 | |
