type Never = !;