blob: 7b63d35a33bc5c18293a2e73775375fdeaffccbc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
module T15954 where
import Data.Kind
type A a = Int
type B1 (a :: Type -> Type) = forall x. x -> x
type C1 = B1 A
data NonShow
type B2 (a :: Type -> Type) = Show NonShow => Int
type C2 = B2 A
|