The footnote is invalid with GHC 9.2.4 (and possibly earlier): the described behaviour in the main text works fine.