Monadic_SystemF_Compiller The following repositary goes in hand with the the final thesis "Testing Static Code Analyses with Monadic Definitional Interpreters".