Should I be annotating my functions with strictness, for the vector reference, for example? Should I be using STUArrays, instead?