DDF.Meta.Interpreter

data Eval h x

data Combine l r h x

combineLeft

combineRight

data UnHOAS repr h x

class ProdCon con l r

class Weight w

data RunImpW repr h x

data ImpW repr h x

type RunImpWR repr h x

runImpW2RunImpWR

runImpWR2RunImpW