testsuite/tests/polykinds/T11399.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE FlexibleInstances, TypeInType #-}
module T11399 where

import Data.Kind

newtype UhOh (k :: * -> *) (a :: k *) = UhOh (k *)

-- UhOh :: forall (k : * -> *). k * -> *

instance Functor a => Functor (UhOh a) where