Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_compile / T15368.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module T15368 where
4
5 import Data.Kind (Type)
6
7 transitive :: (a, b) -> (b, c) -> (a, c)
8 transitive = undefined
9
10 trigger :: a -> b -> (F a b, F b a)
11 trigger _ _ = _ `transitive` trigger _ _
12
13 type family F (n :: Type) (m :: Type) :: Type