Re: [GHC] #15453: Bug in opt_trans_rule in OptCoercion