blob: b3a900249bd8f39304ab174030f553f10333f7c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -Wall #-}
{-# Language TypeFamilies #-}
{-# Language DeriveGeneric #-}
module T8479 where
import GHC.Generics
import Data.Kind (Type)
class Blah (a :: Type -> Type) where
type F a :: Type -> Type
data Foo (f :: Type -> Type) a = MkFoo ((F f) a) deriving Generic1
|
