WSL should allow you to say "protocol Foo : Bar { ... }"