1 2 3 4 5 6
==================== Tidy Core rules ==================== "USPEC f @[Int] @_" forall (@b) ($dOrd :: Ord [Int]). f @[Int] @b $dOrd = f_$sf @b