Что значит ':...' значит на хаскеле?

Я читаю следующий тип данных:

data Ne
  = NVar Id
  | Ne :.. (Clos Term)
  | NSplit Ne (Bind (Bind (Clos Term)))
  | NCase Ne (Clos [(Label, Term)])
  | NForce Ne
  | NUnfold Ne (Bind (Clos Term))
  deriving (Show, Eq)

Что такое:.. во втором объявлении члена?

19
задан Matt Fenwick 3 April 2012 в 18:34
поделиться