path: root/testsuite/tests/polykinds/T7438a.hs

{-# LANGUAGE PolyKinds, GADTs, KindSignatures, DataKinds, FlexibleInstances #-}

module T7438a where

data Thrist :: k -> k -> * where
  Nil :: Thrist a a