Re: What to do with Ord1 (Down a) instance