import CoreSyn ( GenCoreArg, GenCoreBinder, GenCoreBinding, GenCoreExpr,
GenCoreCaseAlts, GenCoreCaseDefault, Coercion
)
-import CoreUnfold ( UnfoldingDetails, UnfoldingGuidance )
+import CoreUnfold ( Unfolding, UnfoldingGuidance )
import CostCentre ( CostCentre )
import FieldLabel ( FieldLabel )
import FiniteMap ( FiniteMap )
data UniqFM a
data UpdateInfo
data UniqSupply
-data UnfoldingDetails
+data Unfolding
data UnfoldingGuidance
data Unique -- NB: fails the optimisation criterion