- mapM semVarDecl vd1 >>= \vd2 ->
- mapM semFunDecl fd1 >>= \fd2 ->
- mapM semVarDecl vd2 >>= \vd3 ->
- mapM semFunDecl fd2 >>= \fd3 ->
- mapM semVarDecl vd3 >>= \vd4 ->
- mapM semFunDecl fd3 >>= \fd4 -> //Dit is puur om te proberen
- pure (vd4, fd4)
+// mapM semVarDecl vd1 >>= \vd2 ->
+// mapM semFunDecl fd1 >>= \fd2 ->
+// mapM semVarDecl vd2 >>= \vd3 ->
+// mapM semFunDecl fd2 >>= \fd3 ->
+// mapM semVarDecl vd3 >>= \vd4 ->
+// mapM semFunDecl fd3 >>= \fd4 -> //Dit is puur om te proberen
+ pure (vd1, fd1)