A supplementary post to my talk at GopherConAU 2023, about a design problem with NP-completeness encountered in the discussions about Go generics.