purescript-0.15.15: 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 _ = ""