testsuite/tests/typecheck/should_compile/T11811.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds, GADTs #-}
{-# LANGUAGE StandaloneKindSignatures #-}

module T11811 where

import Data.Kind

type Test :: x -> x -> x -> Type
data Test a b c
  where K :: Test Int Bool Double