testsuite/tests/dependent/should_fail/T16344.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE TypeInType, KindSignatures #-}

module T16344 where

import Data.Kind

data T ka (a::ka) b  = MkT (T Type           Int   Bool)
                           (T (Type -> Type) Maybe Bool)