haskell - Data.Dynamicsでポリモーフィック関数を取得するための回避策はありますか？

Question

dynApplyからの関数Data.Dynamicsは非常に見栄えがしますが、実際には単相関数型が必要です。だから、あなたは書くことができませんでした

dynApply (toDyn id) (toDyn 3)

多態的な戻り型を必要とするコードがいくつかあります。それらは制限された形式です、例えば機能

forall t. (a -> t) -> t
forall t. (a -> t) -> b -> t
forall t. (a -> t) -> b -> c -> t
...

（ここaでb、、、cは具象型です）。前もって感謝します。

Answer 1

いいえ、ポリモーフィック関数はと互換性がありませんData.Dynamic。これを行うにはData.Typeable、実行時にポリモーフィックとタイプチェッカーを使用する必要があります。

ただし、この機能のチケットがあります：Polymorphic Data.Dynamic