Re: [GHC] #13097: Num a => Num (Down a)