Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming - View it on GitHub