If we have a good bound on the maximal sequence length, this can be dealt with efficiently.
then, one can argue that optimizing a loss function that incorporates this cost can lead to better generalization properties.