pub fn proc0(return_t: Type) -> Type