1
Not sure if this question fits here, but I'm looking to implement (or try to) Hakell's type classes into my own language, however I don't understand how resolution works on recursive types like the one below;
data Bush a = Leaf a | Nest (Bush (a, a))
I then implemented a show method on it in a s...
