Some more on loop fusion section.
Some writing on unboxed tuples.