Lightweight higher-kinded polymorphism#via-tomás-ruiz-lópez#jeremy-yallop#leo-white·cl.cam.ac.uk·Nov 15, 2020Lightweight higher-kinded polymorphism