main :: Bool
main = case [1.0..3.0] of
         [1.0, 2.0, 3.0] -> True