let
tlen al = option ~none:0 al.tlen