pub fn d_func(default_params: Vec<ParamTy>, return_t: Type) -> Type