add tests/neg/lazytext.hs with real bug caught by liquidhaskell!