Check for overridden (or simply ambiguous) arrow types.