evaldUnfolding :: Unfolding
-- ^ This unfolding marks the associated thing as being evaluated

noUnfolding    = NoUnfolding
evaldUnfolding :: Unfolding
noUnfolding    = NoUnfolding
noUnfolding    = NoUnfolding