ParentFull threadvajrabum·This explanation did it for me. https://www.reddit.com/r/math/comments/ap25mr/a_monad_is_a_m...View on HN