extensible-effects noted