Re: [GHC] #12531: Holes should be representation-polymorphic (was: Holes should be kind-polymorphic)