[TYPES] Practical Foundations for Programming Language s : 2e : Requesting review

"email-4S4vSiQJ6JoQsIvi67EU1QC/[email protected]" <email-4S4vSiQJ6JoQsIvi67EU1QC/[email protected]> Fri, 16 Apr 2021 10:53:26 +0200
Newsgroups gmane.comp.science.types
Message-ID <3de7-60795080-5e7-1ff06580@50711471>
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

I solicit expert opinions and reviews about the book; "Practical Foundations for Programming Languages" 2e by Robert Harper.
I do own a copy of "Types and Programming Languages" by Pierce, but thought the book above would add to my knowledge, hence the request.
Thank you.