data A = X
data A = Y
:i A
:m Data.Tuple
:i A