T11509_2.hs 298 Bytes
Newer Older
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