debug tallying ([] [ ('a, Int) ('a, Bool) ]) the two instances of 'a refer to the same variable internally.