Automatic parallel recursion scheme detection in Haskell via anti-unification