Update StrictPair1.hs