On 14-May-1998, Philip Wadler <[EMAIL PROTECTED]> wrote:
> Rossberg writes,
>
> > So the x above is always flat already. Wouldn't the equation
> >
> > flatten (x :<|> y) = x
> >
> > suffice? Doing recursion here seems to be unnecessary overhead.
...
> > Am I missing something?
>
> You're
Wouldn't it be a good idea for the modified code to actually disallow
the use of <|> directly, then?
Yes, Fergus, it's a great idea. The modularised version of the program
does just that. I figured it was too trivial to bother the mailing list
with. -- P