モジュール内でrequirementを満たす必要があるので、モジュール外でprotocol extensionされる可能性を考慮しなくて良くなりそう