@Test public void JavaMethods() { test(); }
@Test public void JavaTypes() { test(); }
@Test public void Kinds1() { test(); }
+ @Test public void Lazy1() { test(); }
@Test public void Lambda() { test(); }
@Test public void LambdaMatch() { test(); }
@Test public void Layout1() { test(); }