data N = Z
type T = 'Z