特定のデータコンストラクタを別のデータコンストラクタの内部に入れることはできませんが、両方とも同じ型を与えることはできますか？

Question

私は

[Leaf 1, Rooted (Leaf 2), Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

なく

[Leaf 1, Rooted (Leaf 2), Branch (Rooted (Leaf 3)) (Branch (Leaf 4) (Leaf 5))] 

すなわちすることができますHaskellではタイプTをしたいのですが。 Rootedを除くTのすべてのコンストラクタは、Branchの最初の引数または2番目の引数に現れることがあります（完全なコードにはさらにいくつかのコンストラクタがあります）。

私たちはBranch (Rooted …) …を行うことはできません保証しますが、またそれは、異なる種類（[T True, T False]）のリストになりますので、我々は[Rooted …, One …]を行うことができないことを意味

{-# LANGUAGE GADTs #-} 
data T (x::Bool) where 
    Leaf :: Int -> T True 
    Rooted :: T True -> T False 
    Branch :: T True -> T True -> T True 

のようなものを試してみました。

私は

{-# LANGUAGE GADTs, DataKinds, KindSignatures #-} 
data T where 
    Leaf :: Int -> T 
    Rooted :: T -> T 
    Branch :: UnRooted a => a -> a -> T 
class UnRooted a 
instance UnRooted Leaf 
instance UnRooted Branch 

を行うことができます願って、DataKindsに見えたが、その後、GHC（7.10.3）はData constructor ‘Leaf’ comes from an un-promotable type ‘T’を与えます。

ハスケルでこれを行う方法はありますか？あなたはブール値を隠し、コンストラクタ内のすべてを包む場合

Answer 1

あなたは最初のソリューションを使用することができます。私たちはとにかく種類をラップする必要があるとしている場合

{-# LANGUAGE GADTs, DataKinds, KindSignatures, RankNTypes #-} 
data T (x::Bool) where 
    Leaf :: Int -> T True 
    Rooted :: T True -> T False 
    Branch :: T True -> T True -> T True 

data TWrap = forall (x :: Bool). TWrap (T x) 

[TWrap $ Leaf 1, TWrap $ Rooted (Leaf 2), TWrap $ Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

はしかし、それだけで行くことはおそらく良いでしょう

data T = Leaf Int | Branch T T 
data TWrap = Unrooted T | Rooted T 

[Unrooted $ Leaf 1, Rooted $ Leaf 2, Unrooted $ Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

---

が何を求めていることは基本的にdependent typesで、Haskellはありません（012：タイプを分割するのがより簡単な解決のために）。