We just need to merge the two: P is inferred through P, and MNs (and potentially the other generic parameters) are inferred through t_Prisma<MNs>, with both P and t_Prisma<MNs> being part of the constructor parameters.
constructor(_prisma: P & t_Prisma<MNs>)