How lazy is DData.Seq?

[Wolfgang Jeltsch]

Hello,

I would suspect that in DData.Seq the result of
    head (singleton 'a' `append` undefined)
is 'a' but instead it is _|_.  Why is this the case?

Wolfgang