P : @<X: Y> { X print("Works!") }
Y : 'x'
P
#---
#xxx
#---
#Works!
#Works!
#Works!