Programming Circlejerk @programming.dev bijectivehomomorphism @programming.dev 2mo ago Let's see Paul Allen's Monad Explanation Coming back to this after having taken graduate algebra makes me realize: programming type semantics is all magic