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

{-# LANGUAGE TypeFamilies, PolyKinds, ScopedTypeVariables #-}
module T7404 where

import Data.Kind (Type)

type family Foo (x :: Type) (y :: x)