は、どのように私が持っているようなタイプ

Question

にマッチします

infixr 9 ||| 
data a ||| b = A a|B b deriving (Eq, Data, Show) 

class IsTag a where 
    anyTag :: a 

と私は例えば、IsTagのインスタンスであるこのa|||bいくつかの値に保つ：A (B (A x)) - ネストの深いは任意のものとすることができる、確認してください。そして、xがanyTagと等しいことを検出する関数を書きたいので、a|||bを返し、Bool - xのインスタンスのanyTagに等しい基本値（この例ではx）を返します。どのようにそのような関数を書く？ 「無限型」などのエラーでパターンマッチングを行うことができません。deriving Dataをa|||bに追加し、xの型にDataのものを使用することを希望していますが、わかりませんそのような再帰型を介して倍/トラバースする。

Answer 1

それはこれよりはるかに良く得ることはありません。ここでの主な欠点は、これはあなたがテストしているにもかかわらず、|||の両側のタイプはIsAnyTagインスタンスされなければならないことを必要とすることである

{-# LANGUAGE DefaultSignatures #-} 
class IsAnyTag a where 
    isAnyTag :: a -> Bool 
    default isAnyTag :: (Eq a, IsTag a) => a -> Bool 
    isAnyTag = (anyTag ==) 

instance (IsAnyTag a, IsAnyTag b) => IsAnyTag (a ||| b) where 
    isAnyTag (A a) = isAnyTag a 
    isAnyTag (B b) = isAnyTag b 

-- and one more line of `instance IsAnyTag X` for each `X` that 
-- is an instance of `IsTag` 

片側のみ。それらは静的な型チェックのブレークです。