let
succ_t t =
T
.make (
T
.
Succ
t)