Я не могу комментировать эту тему под тем же названием выше. Когда я применяю рекомендованный ответ, я получаю три ошибки.
Во-первых, Intelij не нравится «и» в чтениях и записи в неявных фильтрах.
Во-вторых, после первого закрывающего скобка для чтения или записи во втором круглом скобке (круглые скобки применяются и поднимаются / не применяются) говорится, что (* и *) не принимает никаких входных данных.
В-третьих, unlift, похоже, не является признанным методом. Также не неприменимо.
Спасибо!