How is UNPACK and BangPatterns related to WHNF? I used to think that unpacking sort of forces the constructors up to the level where the bangs reside. Hence unpacking a tuple makes sense, whereas unpacking a linked list does not save much memory. -- Olaf