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

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