pub fn dict_t(dict: TyParam) -> Type