Loaded package environment from /home/liquidhaskell/.ghc/x86_64-linux-9.12.2/environments/default
[1 of 1] Compiling Evens            ( resources/custom/liquidhaskell/sandbox/1789464905_727.hs, resources/custom/liquidhaskell/sandbox/1789464905_727.o )

**** LIQUID: UNSAFE ************************************************************
{"version":"1.1","ghcVersion":"ghc-9.12.2","span":{"file":"resources/custom/liquidhaskell/sandbox/1789464905_727.hs","start":{"line":7,"column":1},"end":{"line":7,"column":12}},"severity":"Error","code":null,"message":["Liquid Type Mismatch\n    .\n    The inferred type\n      VV : {v : GHC.Types.Int | v == (7 : int)}\n    .\n    is not a subtype of the required type\n      VV : {VV##2274 : GHC.Types.Int | VV##2274 mod 2 == 0}\n    .\n    Constraint id 97"],"hints":[]}