a :: [(Float,Float)]
a = [(x*!y,x+!y)|x <- [1.0, 1.0], y <- [1.0, 1.0]]

main :: Bool
main = case a of
         [(1.0,2.0),(1.0,2.0),(1.0,2.0),(1.0,2.0)] -> True