[GHC] #12415: Fancy BinIface encoding for tuples is broken for constraint tuples