Beyond inductive datatypes: exploring Self types by from Hacker News on 2021-10-30 15:39 (#5RB65) Comments