minimal unit testing in SML with type indexed values