pub fn proc1(param_t: Type, return_t: Type) -> Type