[Haskell] Re: Type-class overloaded functions: second-order typeclass programming with backtracking

Back to the list