liquidhaskell-0.8.0.2: tests/pos/test000.hs.hquals

qualif Foo(v: Int): v = 10