>>| tell [Instr "ajs" [Lit -1] ""]
g (VarExpr _ (VarDef k fs)) = getAdressbook >>= \ab->case 'Map'.get k ab of
Just (ADDR t) = tell [Instr "ldl" [Lit t] ""] >>| mapM_ g fs >>| pure ()
- _ = liftT (Left $ Error "PANIC: variable and function name clash")
+ _ = liftT (Left $ Error "Higher order functions not implemented")
g (FunExpr _ k es fs) =
mapM_ g es
>>| jump "bsr" k