fix typecheck for generic11.dora
fix typecheck for generic11.dora

dinfuehr/dora,dinfuehr/dora,dinfuehr/dora,riginding/dora,riginding/dora,riginding/dora,dinfuehr/dora,riginding/dora,riginding/dora,riginding/dora,riginding/dora,dinfuehr/dora,dinfuehr/dora