tweaked stuff, tests seem to pass on my machine
tweaked stuff, tests seem to pass on my machine

abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell