Type-level web APIs with Servant: an exercise in domain-specific generic programming. - Alp Mestanogullari; Sönke Hahn; Julian K. Arni; Andres Löh (WGP@ICFP, 2015)