Constraint scoping is wrong when using top-level splices
I claim this program should work:
top :: Ord a => a -> a -> Ordering
top = $$([|| compare ||]) because the following program works
top :: (a -> a -> Ordering) -> a -> a -> Ordering
top c = $$([|| c ||]) Related to #17220