testsuite/tests/rename/should_fail/T11592.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds #-}

module Bug11592 where

data A (a :: a) = MkA String

data B b (a :: a b) = MkB String
data C b (a :: b a) = MkC String

data D b c (a :: c a b) = MkD String