Language.Syntactic.Sharing.SimpleCodeMotion
data PrjDict dom
data InjDict dom a b
type MkInjDict dom
codeMotion
prjDictFO
reifySmart
mkInjDictFO