11 Prism: An Impure Functional Language With Typed Effects (stephendiehl.com) 11 hours ago azkalam stephendiehl.com