data List a where
  Nil  : List a
  Cons : a -> List a -> List a


baz = let (Cons x _) = (Cons 1 Nil)
       in (x + x)

let v7 = \ v5 -> \ v6 -> (Cons2 (v5, v6)) in let v8 = (Nil3) in let v0 = let (Cons2 (v1, _)*** Exception: Maybe.fromJust: Nothing
CallStack (from HasCallStack):
  error, called at libraries/base/Data/Maybe.hs:148:21 in base:Data.Maybe
  fromJust, called at /Users/abhiroopsarkar/C/Sense-VM/frontend/CamIoT/src/Desugaring/Desugar.hs:30:53 in main:Desugaring.Desugar