Generic product utilities, eg `((B, C, D) => A) => (AndXOrK3[B, C, D], Divide[A], Apply[A])` dimap any type within a type group to transform AndXorN for that group?
Generic product utilities, eg
((B, C, D) => A) => (AndXOrK3[B, C, D], Divide[A], Apply[A])dimap any type within a type group to transform AndXorN for that group?