-//
-//load :: String -> Gen Instr
-//load k = genMap >>= \g-> case 'Map'.member k g of
-// False = liftT (Left $ Error $ concat ["PANIC: ", k, " not found in variable mapping"])
-// True = loadP $ 'Map'.find k g
-//
-//loadP :: LoadPlace -> Gen Instr
-//loadP pl = dec pl >>= \(instr, arg)-> pure $ Instr instr [arg] ""
-//where
-// dec (LDA i) = pure ("lda", Lit i)
-// dec (LDC i) = pure ("ldc", Lit i)
-// dec (LDH i) = pure ("ldh", Lit i)
-// dec (LDL i) = pure ("ldl", Lit i)
-// dec (LDR i) = pure ("ldr", Lit i)
-// dec (LDS i) = pure ("lds", Lit i)
-// dec _ = liftT (Left $ Error "PANIC: trying to load non adres")
-//
-////Instruction (String), key of function to jump to
-//jump :: String String -> Gen Instr
-//jump instr k = genMap >>= \g-> case 'Map'.member k g of
-// False = liftT (Left $ Error $ concat ["PANIC: ", k, " not found as function"])
-// True = dec ('Map'.find k g) >>= \lbl-> pure $ Instr instr [lbl] (k +++"()")
-//where
-// dec (FUNC l) = pure (L l)
-// dec _ = liftT (Left $ Error "PANIC: trying to jump to non label")