T13603.hs 263 Bytes
Newer Older
Ryan Scott's avatar
Ryan Scott committed
1 2 3 4 5 6 7 8 9 10
{-# Language PolyKinds, TypeInType, 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))