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