DData revision

[Wolfgang Jeltsch]

Am Sonntag, 14. März 2004 18:31 schrieben Sie:
> [...]
> > And why does Seq.concat have the type
> >     Seq (Seq a) -> Seq a
> > instead of
> >     [Seq a] -> Seq a
> > which would be more consistent with the other modules?
>
> I gave it some thought, and concluded that it is more
> important for Seq to be consitent with itself than with
> other modules. This really should be solved with type
> classes, yet we chose not to introduce new classes with
> DData.
>
> Moreover, Seq is an instance of Monoid, so 'mconcat'
> can be used.

But why does LambdaSeq.concat have the type
    [LambdaSeq a] -> LambdaSeq a
instead of
    LambdaSeq (LambdaSeq a) -> LambdaSeq a
then?

> [...]

> Cheers,
> JP.

Wolfgang