[proaralyst]

Is that not what's happening here? Except GHC has the recursive backtracking built in? The code looks a lot like the equivalent Prolog implementation.

[sp332]

I think you're supposed to show that you know how to do that yourself, instead of just using an existing implementation.