labelled types efficiency