I didn't say that they were not declared. You can have proper, type-checked and runtime enforceable interfaces, without having to inherit from them.