testsuite/tests/generics/T8479.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# OPTIONS_GHC -Wall #-}
{-# Language TypeFamilies #-}
{-# Language DeriveGeneric #-}

module T8479 where

import GHC.Generics

class Blah (a :: * -> *) where
  type F a :: * -> *

data Foo (f :: * -> *) a = MkFoo ((F f) a) deriving Generic1