Существует ли разумный способ применить полиморфную функцию к значению типа Dynamic
?
Например, у меня есть значение типа Dynamic
, и я хочу применить Just
к значению внутри Dynamic
. Поэтому, если значение было построено с помощью toDyn True
, я хочу, чтобы результат был toDyn (Just True)
. Число различных типов, которые могут встречаться внутри Dynamic
, не ограничено.
(У меня есть решение, когда используемые типы происходят из замкнутой вселенной, но это неприятно.)