Make `decodedL` a proper `Iso'`