ajhc-0.8.0.8: Haskell compiler that produce binary through C language
FrontEnd.DataConsAssump
dataConsEnv :: KindEnv -> [HsDecl] -> Map Name SigmaSource