path: root/testsuite/tests/typecheck/should_fail/T6018Bfail.hs

{-# LANGUAGE TypeFamilyDependencies #-}

module T6018Bfail where

import Data.Kind (Type)

type family H a b c = (result :: Type) | result -> a b c