typed_macro
