p : T ^