Generic Generic Programming - aes, J; Löh, A (Practical Aspects of Declarative Languages, 2014)