Am 04/26/2015 um 08:38 PM schrieb Matthew Korson:

The problem is that tAppend is too strict; it evaluates both its arguments before producing anything.

That's it. Define

tAppend (Temporal as) ~(Temporal bs) = Temporal (as ++ bs)

No need (I think) to pass through the toList, which is a redundant ping-pong.

Jerzy K.