blob: ffa3848dc649b6455b40a5c010c30ec146cb768d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleInstances, PolyKinds #-}
module T11399 where
import Data.Kind
newtype UhOh (k :: * -> *) (a :: k *) = UhOh (k *)
-- UhOh :: forall (k : * -> *). k * -> *
instance Functor a => Functor (UhOh a) where
{- Functor expects (* -> *)
(UhOh a) :: k * -> *
-}
|