path: root/testsuite/tests/typecheck/should_compile/T19107.hs

{-# LANGUAGE GADTs #-}
-- NB: NO FlexibleContexts

module T19107 where

data T a where
  MkT :: Show a => [a] -> T a

f (MkT x) = show x