recursion-schemesパッケージでは、次のタイプが定義されています。
newtype Fix f = Fix (f (Fix f))
newtype Mu f = Mu (forall a. (f a -> a) -> a)
それらは同形ですか？もしそうなら、どうやってそれを証明しますか？
recursion-schemesパッケージでは、次のタイプが定義されています。
newtype Fix f = Fix (f (Fix f))
newtype Mu f = Mu (forall a. (f a -> a) -> a)
それらは同形ですか？もしそうなら、どうやってそれを証明しますか？