to #38 (support annotations to types)