> The rule is this:
> a binding x=e in a NonRec can be used in a later group but not earlier, nor
> in e
> a binding x=e in a Rec can be used in this group or a later one, but not an
> earlier one
>
> Does that help?
It does suprise me, but it also answers my question. Thank you.
May I suggest
| binding groups. I was assuming that a non-exported top-level binding
| defined in one binding group could never be used from outside of that
| group. When compiling GHC, however, I came across (few) cases where this
| rule was broken.
The rule is this:
a binding x=e in a NonRec can be used
