Generic (Invalidation and func <*>)