tweak glyphs
typo, thanks Kyle
fix link
typo
remove spaces after applications of mid
change m$ to ¢
change mid to double up arrow U+2e17
move do-notation links
move link
They're sets of worlds AND they're CCPs... Understand, or is too tough for you?
explain "cohere"
formatting
add Monads made hard link to Category Theory links
extra line
tweak List.>>= explanation
tweak diagram
refinements, diagrams
reorganize
tweaks
add addl reading section