Can be seen in the Travis log, for example:
- <a href="#type-gadt" class="anchor"></a><code><span class="keyword">type</span> _ gadt</code><code> = </code>
+ <a href="#type-gadt" class="anchor"></a><code><span class="keyword">type</span> <span>_ gadt</span></code><code> =
This looks related to the recent spanning PRs, and happens only on 4.08. @trefis, can you take a look?