purescript-0.14.0: tests/purs/failing/TypeSynonyms7.purs

-- @shouldFailWith InvalidInstanceHead
module Main where

import Prelude

type X r = {x :: Int | r}

instance showX :: Show (X r) where
  show _ = ""