In general you should reference things in the library, even if they are slightly incorrect. The point is that this helps others get acquainted with the library. So the optimal thing to do in this case is to point to `types.Prod.equiv_uncurry`, make a comment about how the exercise wants something slightly different, and then provide the different thing.