-// 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)
+ 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)