Typing: implemented applyPoly