let
init t = t.init