scala abstract-data-type path-dependent-type existential-type asked Aug 11 '11 at 12:07