liquidhaskell-0.8.0.2: tests/tmp/T777.hs

module Goo where 

{-@ instance measure glub @-}
glub :: [Int] -> Bool
glub []     = True
glub (x:xs) = ((x > 0) && (glub xs))