CoreUnfold
data Unfolding
data UnfoldingGuidance
noUnfolding
mkImplicitUnfolding
mkUnfolding
mkCoreUnfolding
mkTopUnfolding
mkSimpleUnfolding
mkWorkerUnfolding
mkInlineUnfolding
mkInlinableUnfolding
mkWwInlineRule
mkCompulsoryUnfolding
mkDFunUnfolding
specUnfolding
data ArgSummary
couldBeSmallEnoughToInline
inlineBoringOk
certainlyWillInline
smallEnoughToInline
callSiteInline
data CallCtxt
exprIsConApp_maybe
exprIsLiteral_maybe