Unused type variable