Alejandro Serrano, Victor Cacciari Miraldo: Generic programming of all kinds. Haskell@ICFP 2018: 41-54