Use ElementEncodingType!Terminator instead of typeof(terminator[0])