Maybe `supertptWithTargs`?