@Test public void ModuleInitialization() { test(); }
@Test public void MonadBug1() { test(); }
@Test public void Monads1() { test(); }
@Test public void ModuleInitialization() { test(); }
@Test public void MonadBug1() { test(); }
@Test public void Monads1() { test(); }