All protocols are tested through the implementing types.