Richard Bird's book is also really great for the more theoretical side of things (it's like if you took Hutton's last chapter on "Equational Reasoning" and stre

Richard Bird's book is also really great for the more theoretical side of things (it's like if you took Hutton's last chapter on "Equational Reasoning" and stretched it to an entire book). I'm working through it now and will be posting notes and solutions as I get them done.