I genuinely think it's because of people trying to understand WTF a monad is.

		empath-nirvana on Sept 28, 2023 \| parent \| context \| favorite \| on: RZK: Experimental proof assistant for synthetic ∞-... I genuinely think it's because of people trying to understand WTF a monad is.