bug fixed at TypeApply