list package:generic-lens

Derive an isomorphism between a product type and a flat HList.