制限付きの制約タイプとタイプファミリーを '限定された'制約付きで使用する

Question

私は、実行を「見る」ためにモノイドを含む応用ファンクタに取り組んでいます。しかし、時には私はこの部分をまったく気にしないので、モノオイドの選択は決して消費されないので無関係です。

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE ConstraintKinds #-} 
{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE TypeFamilies #-} 

import GHC.Exts 

class Render a b where render :: a -> b 
instance Render a() where render = const() 

class Merge a where 
    type Renderer a b :: Constraint 
    merge :: Renderer a b => a -> b 

data Foo = Foo Bool 

instance Merge Foo where 
    type (Renderer Foo) m = (Render Bool m) 
    merge (Foo b) = render b 

Renderは単一bに様々なa Sを変換するために使用されています。私は私が持っているものに簡略化されてきました。 Mergeは私の実際のファンクタを大幅に簡略化していますが、それは型のファミリ/制約が含まれており、その意図は正確にRenderとMergeが必要とするものを指定することです。

さて、私のようなものに似ている、「実行」Mergeしたいのですが、ビューを捨てるかもしれません：

runFoo :: Merge a => a -> Int 
runFoo x = case merge x of() -> 5 

しかしので、これは失敗します。

は推測できませんでした私はFなぜなら私のモノイドとして()を選んだmerge

の使用に起因する(Renderer a()) orall aの場合、Render a()というインスタンスがあります。だから、もしMerge aがコレクションRenderのコレクションを意味すると言うならば、これはうまくいくでしょう。もちろん、Merge aより一般的です。コンパイルエラーを説明する任意の制約を追加する可能性があります。

なしでの署名を変更するととにかくありますか？runFooの署名を変更しますか？

Answer 1

あなたはこれらのケースの多くを持っている場合、これはスケールしないことがありますが、これは動作します：

は

class Renderer a() => Merge a where 
    ...