A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.