Proposal: Types as Configuration | Dark Hacker News