typed_defx
