Re: [GHC] #12531: Holes should be representation-polymorphic