Lawvere: A categorical programming language with effects | Dark Hacker News