`TYPE_ALGEBRA.md`: anchor the graded-monad notes to the cited papers' precise results

[Bronek]

@/tmp/claude-3001106/-data-users-bronek-gits-functional/67794b41-8c99-40a3-90e5-dcb242c5975d/scratchpad/issue408_body.md

[Bronek]

@/tmp/claude-3001106/-data-users-bronek-gits-functional/67794b41-8c99-40a3-90e5-dcb242c5975d/scratchpad/issue408_comment.md