X : @<A> {
    A A
}

Y : @<B> {
    X<B>
}

Y<''x''> Y<''b''>

#---
#xxbbxbbxxbb
#---
#((("x", "x"), ("b", "b")), (("x", "x"), ("b", "b")))