hi,
2008/10/12 Marc Weber <marco-oweber@gmx.de>:
Surely I've overseen a small point. But I can't see it:
class AddEl el_ el2_ elc_ where
addEl :: el_ -> elc -> el2_ -- el, child
Did you mean "elc_" instead of "elc" in the type signature of addEl?
jan.
