S stephendiehl.com Prism: An Impure Functional Language with Typed Effects 2 points ghc 4 months ago 0 comments