,Instr "ldc" [Lit 0] ""
,Instr "sth" [] ""
,Instr "ajs" [Lit -1] ""]
+ Nothing = liftT $ Left $ Error "PANIC: unresolver variable expr"
g (LambdaExpr _ _ _) = liftT $ Left $ Error "PANIC: Lambdas should be unfolded"
g (FunExpr _ k es fs) = funnyStuff k es fs