--Testing more shadowing
data T = A | B
data R = A | C
:i A