Data.Two.{==-{refl,reflexive},tabulate₂,proj-tabulate₂}...