blob: 3071755db29f35567d468fc3b0a1fa75661af08a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE StandaloneDeriving #-}
module T11509_2 where
import GHC.Exts (Constraint)
class C1 (a :: Constraint) where
class C2 where
deriving instance C1 C2
|