newtype — это создание фантомного конструктора/тэга, которого потом в рантайме не существует. Фактически, «newtype N a» это то же самое, что «a» в рантайме. Отсюда взрывание третьего и невзрывание шестого примеров. Строгий !a в типе S приводит к попытке форсирования undefined во втором примере, поэтому он взрывается. Остальное стандартно.