purescript-0.15.15: tests/purs/failing/IntToString2.purs

-- @shouldFailWith TypesDoNotUnify
module Main where

import Prelude
import Prim.Int (class ToString)

data Proxy :: forall k. k -> Type
data Proxy a = Proxy

testToString :: forall i s. ToString i s => Proxy i -> Proxy s
testToString _ = Proxy

negToString :: Proxy "a"
negToString = testToString (Proxy :: Proxy (-1))