let inconsistency : [`a] a = 0