isClosedUnfolding :: Unfolding -> Bool          -- No free variables
isClosedUnfolding (CoreUnfolding {}) = False
isClosedUnfolding :: Unfolding -> Bool
isClosedUnfolding (CoreUnfolding {}) = False
isClosedUnfolding (CoreUnfolding {}) = False