使用導入模塊中的類型創建數據類型

Question

假設我們有一個模塊A和一個模塊B，其中聲明瞭A和B類型。 在模塊中超，我們想說的是，型超是A或B像下面的代碼：

-- module A 
data A = A String 

-- module B 
data B = B Int 

-- module Super 
data Super = A.A 
      | B.B 

但我們不能在數據構造函數中使用完全合格的數據類型，這並不工作（錯誤是：「裝訂位置合格的名稱」），如果我們不把完全合格的名稱像下面，A型和B不是從模塊A和B，其

-- module Super 
data Super = A 
      | B 

至於我的解決辦法是做這樣的

-- module Super 
data Super = A A.A 
      | B B.B 

有沒有更好的方法來實現這一目標？我不知道如果我要使用類型的類

PS： 我的目標是有型超級

let mySuperList = [ B, A ] :: [Super] 

Answer 1

let mySuperList = [ Left B, Right A ] :: [Either B A] 

的列表。如果你能逃脫沒有名字的不適當的乘法，你從長遠來看，它可能會發現它更強大。