path: root/testsuite/tests/typecheck/should_fail/T3592.hs

{-# LANGUAGE RankNTypes #-}

module T3592 where

type T a = Show a => a

f :: T a -> String
f = show

g :: T a -> String
g x = show x