pub fn proc2(l: Type, r: Type, return_t: Type) -> Type