DefinitionAndUse.java

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