NewDemand
data Demand
data DmdType
type DmdEnv
data DmdResult
data Demands
data StrictSig