ghc-7.2.1: The GHC API
DmdAnal
dmdAnalPgm :: DynFlags -> [CoreBind] -> IO [CoreBind]
dmdAnalTopRhs :: CoreExpr -> (StrictSig, CoreExpr)
both :: Demand -> Demand -> Demand