Extensional equality preservation and verified generic programming. - BOTTA, NICOLA; BREDE, NURIA; JANSSON, PATRIK; RICHTER, TIM (Journal of Functional Programming, 2021)