liquidhaskell-0.8.0.2: tests/neg/ListRange.dat

data List a << p:a (fld:a)>> = Nil | Cons x:a^True y:List a^p(x) << p(fld) >> --