path: root/testsuite/tests/polykinds/T7524.hs

{-# LANGUAGE TypeFamilies, PolyKinds #-}
module T7524 where

type family F (a :: k1) (b :: k2)
type instance F a a = Int
type instance F a b = Bool