path: root/testsuite/tests/th/T8507.hs

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ConstraintKinds #-}

module T8507 where

type Stringy1 a = (Read a, Show a)

$([d|type Stringy2 a = (Read a, Show a) |])