class C { <effect E> void m() effect E {} }