purescript-0.7.2.0: examples/failing/NewtypeMultiCtor.purs
-- @shouldFailWith InvalidNewtype module Main where import Prelude newtype Thing = Thing String | Other
-- @shouldFailWith InvalidNewtype module Main where import Prelude newtype Thing = Thing String | Other