Re-tagging a service in a Layer with a subtype

How can i re-tag a service in a Layer? I have a requirement of type

and i want to provide a layer with output of type

that satisfies the interface of

(

B extends A

B extends A

)

Re-tagging a service in a Layer with a subtype - Effect Community