testsuite/tests/th/T7667.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE TemplateHaskell, TypeOperators #-}

module T7667 where

import Language.Haskell.TH

$( return [ TySynD (mkName "+") [PlainTV (mkName "a") (), PlainTV (mkName "b") ()]
                   (AppT (AppT (ConT ''Either) (VarT $ mkName "a")) (VarT $ mkName "b")) ] )