Basic category theory for programmers | Dark Hacker News