Fuzzy unification parser in Haskell

Yes, I realize the following implementation of snoc (" cons ing" to end of a list) is horribly inefficient, but since all the argument lists seem to be very small, I'm willing to pay the O(n2) cost. If it becomes prohibitive, ...

Read full post here.