By all means have strict tuples in a library somewhere. They don't need
to have special syntax.

I have a module Data.Pair which provides pairs with different strictness properties. Perhaps it can be used as a startingpoint.

Cheers,

/Josef