title: Typescript: Why is it that we cannot assign default value to generic type?
body: <p>Take the below for instance. I'm not quite sure what the error message means, but it seems that logically, the signature is completely valid. Is this just not supported by TS?</p>
  <pre><code>function _createNominalCollection&lt;isOutputOrdered_T extends boolean&gt;(
    input: nominal_T,
    processingFunc: (count: number) =&gt; number,
    orderedOutput: isOutputOrdered_T = true,
  )
  
  ^^^
  Type 'boolean' is not assignable to type 'isOutputOrdered_T'.
    'boolean' is assignable to the constraint of type 'isOutputOrdered_T', but 'isOutputOrdered_T' could be instantiated with a different subtype of constraint 'boolean'.ts(2322)
  </code></pre>