-
Ryan Scott authored
Even since ef26182e, this section of the users' guide is wrong, as there are no longer special rules for the order of type variables in GADT constructors' type signatures vis-à-vis visible type application. As a result, this section can simply be deleted, as there is no longer anything interesting to say about the topic.
2be55b85