TypeSpec
                                                                                      {typeSpecAnno = (),
                                                                                       typeSpecSpan = (4:2)-(4:8),
                                                                                       typeSpecBaseType = TypeInteger,
                                                                                       typeSpecSelector = Nothing}