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

{-# LANGUAGE PolyKinds, GADTs #-}

module T11811 where

import Data.Kind

data Test (a :: x) (b :: x) :: x -> Type
  where K :: Test Int Bool Double