LiquidHaskell Version 0.8.6.0, Git revision 82c7ca2fd5e224b0709e32da9e70c84c692c655e (dirty) [develop@82c7ca2fd5e224b0709e32da9e70c84c692c655e (Mon Oct 7 17:24:07 2019 +0200)] 
Copyright 2013-19 Regents of the University of California. All Rights Reserved.

Targets: resources/custom/liquidhaskell/sandbox/1740870916_1245.hs
[1;94m
**** [Checking: resources/custom/liquidhaskell/sandbox/1740870916_1245.hs] *****
[0m[1;94m
**** DONE:  A-Normalization ****************************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Extracted Core using GHC *******************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Transformed Core ***************************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  annotate ***********************************************************
[0m[1;90m 
[0m[1;91m
**** RESULT: UNSAFE ************************************************************
[0m

 /home/liquidhaskell/liquid-server/resources/custom/liquidhaskell/sandbox/1740870916_1245.hs:9:1-11: Error: Liquid Type Mismatch
  
 9 | notEven = 7
     ^^^^^^^^^^^
  
   Inferred type
     VV : {v : GHC.Types.Int | v == 7}
  
   not a subtype of Required type
     VV : {VV : GHC.Types.Int | VV mod 2 == 0}