+transDecl :: Decl -> Result
+transDecl x = case x of
+ Decl type' id -> failure x
+
+
+transFunc :: Func -> Result
+transFunc x = case x of
+ Func type' id decls stms -> failure x
+
+
+transFuncStm :: FuncStm -> Result
+transFuncStm x = case x of
+ S stm -> failure x
+ F func -> failure x