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

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}

module T9838a where

type EqShow a = (Eq a, Show a)

type family F a
type instance F Int = Bool