Church Encoding, Parametricity, and the Yoneda Lemma

2 points | by g0xA52A2A 9 hours ago