testsuite/tests/th/T17461.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
module T17461 where

import Data.Kind

$([d| type (:+:) :: Type -> Type -> Type
      type (:+:) = Either
    |])