https://hackershare.dev/en/bookmarks/707392
从实用的角度看Monad(一)