blob: f7762831b30f78fe13f0cf0cbb64931ceef60eea (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, KindSignatures #-}
module TcShouldTerminate where
import Data.Kind (Constraint)
class C (p :: Constraint)
class D (p :: Constraint)
instance C (D p) => C (D (D p))
|