I'd maybe add one other case containing both (`(..., [...b]) ->`. Not sure though ...