testsuite/tests/typecheck/should_compile/T13603.hs


1
2
3
4
5
6
7
8
9
10

{-# Language PolyKinds, UndecidableInstances #-}
module T13603 where

import GHC.Exts (TYPE, RuntimeRep)

class        A (a :: TYPE rep)
class A a => B (a :: TYPE rep)

instance A b => A (a -> (b :: TYPE rep))
instance B b => B (a -> (b :: TYPE rep))