Preserve as-parsed arrow type for HsUnrestrictedArrow
When linear types are disabled, HsUnrestrictedArrow
is treated as HslinearArrow
.
Move this adjustment into the type checking phase, so that the parsed source accurately represents the source as parsed.