svec haskelly functions unit tests