Ensuring .Case.Lazy interface is consistent with .Case