Church Encoding, Parametricity, and the Yoneda Lemmablog.wybxc.cc2 points·g0xA52A2A··0 commentsOpen articleSaveView on HN