nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqlyl9nhvpfjgyf76xe6qm2v38sxxftz0y097cq86rn7zd4jtpndasqeuyt2 Sonewhat unrelated, but I don't understand why people make such a big deal about IO being a Monad instead of just calling it the IO type. I mean, it's also a Monoid, Semigroup, etc. Ther...