let
leaf msg =
T
(msg,[])