I tried to implement the algorithms from the paper "Tabled Typeclass Resolution"

https://www.reddit.com/r/ProgrammingLanguages/comments/1my99bf/i_tried_to_implement_the_algorithms_from_the/