path: root/testsuite/tests/ghci/scripts/T15568.hs

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T15568 where

import Data.Proxy

type family F (a :: j) :: k