rewrite to_type<>
rewrite to_tag<>