Как применить полиморфную функцию к динамическому значению

Есть ли разумный способ применить полиморфную функцию к значению типа Dynamic?

Например, у меня есть значение типа Dynamic, и я хочу применить Justк значению внутри Dynamic. Итак, если значение было построено с помощью toDyn True, я хочу, чтобы результат был toDyn (Just True). Количество различных типов, которые могут встречаться внутри Dynamic, не ограничено.

(У меня есть решение, когда задействованные типы происходят из закрытой вселенной, но это неприятно.)