implicit arguments in constructors and patterns; vectors.fst tests it out