This week (Week 33) I've tried building a completely pure actor based runtime. https://petersaxton.uk/log/ I think it's somewhat promising as an approach but I wonder if at this point I should write a fully fledged effect type for my system. Also is it even possible to represent dynamic types in a structurally typed system.