< Bernhard> the approach comes from <https www cl cam ac uk kotlinlang #arrow

<@UBZTE2MSB> the approach comes from <https://www....

j

jacob

08/15/2018, 11:20 AM

@Bernhard the approach comes from https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf