Loaded package environment from /home/liquidhaskell/liquid-server/dist-newstyle/tmp/environment.-1476925/.ghc.environment.x86_64-linux-9.12.2
[1 of 1] Compiling Tutorial_03_Basic ( resources/custom/liquidhaskell/sandbox/1768793182_1442.hs, resources/custom/liquidhaskell/sandbox/1768793182_1442.o )
{"version":"1.1","ghcVersion":"ghc-9.12.2","span":{"file":"resources/custom/liquidhaskell/sandbox/1768793182_1442.hs","start":{"line":30,"column":10},"end":{"line":30,"column":42}},"severity":"Error","code":null,"message":["Multiple definitions of Type Alias `Nat`\n    Conflicting definitions at\n    .\n    * resources/custom/liquidhaskell/sandbox/1768793182_1442.hs:30:10-41\n    .\n    * src/GHC/Types_LHAssumptions.hs:(48,6)-(49,0)"],"hints":[]}
{"version":"1.1","ghcVersion":"ghc-9.12.2","span":{"file":"resources/custom/liquidhaskell/sandbox/1768793182_1442.hs","start":{"line":31,"column":10},"end":{"line":31,"column":42}},"severity":"Error","code":null,"message":["Multiple definitions of Type Alias `Even`\n    Conflicting definitions at\n    .\n    * resources/custom/liquidhaskell/sandbox/1768793182_1442.hs:31:10-41\n    .\n    * src/GHC/Types_LHAssumptions.hs:(49,6)-(50,0)"],"hints":[]}