LiquidHaskell on Flycheck working