Some extensions on instance declaration