add exercises on extensible effects