Skip to content

Instantly share code, notes, and snippets.

I did quite a deep dive into Monads and their laws, and I thought it might be useful to go into some of the stuff I found. Maybe it'll help you get it too!

Monads turn out to be pretty simple. They might look like Functors a little -- there's good reason for that! -- but I think a better place to start is to understand Monoids.

(I don't think they covered Monoids. I can't think why, they're simple and a great introduction into Monads.)


Monoids

g6Rib2R5hqhkZXRhY2hlZMOpaGFzaF90eXBlCqNrZXnEIwEgS5pD4/kpW59BANPQGvLwFWjnYwfvl8pv60Z5CbwrRucKp3BheWxvYWTFAvJ7ImJvZHkiOnsia2V5Ijp7ImVsZGVzdF9raWQiOiIwMTIwNGI5YTQzZTNmOTI5NWI5ZjQxMDBkM2QwMWFmMmYwMTU2OGU3NjMwN2VmOTdjYTZmZWI0Njc5MDliYzJiNDZlNzBhIiwiaG9zdCI6ImtleWJhc2UuaW8iLCJraWQiOiIwMTIwNGI5YTQzZTNmOTI5NWI5ZjQxMDBkM2QwMWFmMmYwMTU2OGU3NjMwN2VmOTdjYTZmZWI0Njc5MDliYzJiNDZlNzBhIiwidWlkIjoiYjZiYjRjN2RlNWVmMzA0NDczYjI0NTcxMzViMWQ4MTkiLCJ1c2VybmFtZSI6InByb2JhYmx5dG9tIn0sInNlcnZpY2UiOnsibmFtZSI6ImdpdGh1YiIsInVzZXJuYW1lIjoicHJvYmFibHl0b20ifSwidHlwZSI6IndlYl9zZXJ2aWNlX2JpbmRpbmciLCJ2ZXJzaW9uIjoxfSwiY2xpZW50Ijp7Im5hbWUiOiJrZXliYXNlLmlvIGdvIGNsaWVudCIsInZlcnNpb24iOiIxLjAuMTUifSwiY3RpbWUiOjE0NjU5OTUyNjYsImV4cGlyZV9pbiI6NTA0NTc2MDAwLCJtZXJrbGVfcm9vdCI6eyJjdGltZSI6MTQ2NTk5NTI0NywiaGFzaCI6IjMxYzY3ZmY3ZTZhMzA1YzhlOTA3ZTFmNDRjZGM1NTg2NTY1MWUxZDBmOWI2YjU5MGUwYmJiZjNhMjYwYTliOWNjY2ZmNzJlNDczMjQ2NGNkYTVjM2MzNGIyMjI4NWQ4ZWVlMTEwYzJhZjQ2N2I2ZTg1YjRjN2UzYjQzNWRlMmYxIiwic2Vxbm8iOjQ4NzI3Nn0sInByZXYiOiI3MWM1ZGM3NDA0ODM0OGU3MzllOGFiYWVhYzQ2