Hey, can a union member itself be a union base? eg

MyLockfileSentinel <: SimplePexLockfileSentinel <: GenerateToolLockfileSentinel

? And would that even work if I had rules that were

(GenerateToolLockfileSentinel) => A

and

(SimplePexLockfileSentinel) => A

?