‘PolyKinds GHC2021’ (page xx, line 12) is a duplicate entry. See last line on page xix. (Book version P1.0)