Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11399.hs
1 {-# LANGUAGE FlexibleInstances, PolyKinds #-}
2 module T11399 where
3
4 import Data.Kind
5
6 newtype UhOh (k :: * -> *) (a :: k *) = UhOh (k *)
7
8 -- UhOh :: forall (k : * -> *). k * -> *
9
10 instance Functor a => Functor (UhOh a) where