testsuite/tests/deriving/should_compile/T14331.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
module Bug where

class C p q

data D = D deriving (C (a :: k))