How lazy is DData.Seq?

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