liquidhaskell-0.6.0.0: tests/neg/BadHMeas.hs

{-@ measure foo @-}
foo :: [(Int,Int)] -> Int
foo [] = 0
foo (a:as) = fst a + foo as