hi, 2008/10/12 Marc Weber <marco-oweber at 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.