c2d0f1036675d7135c078ab1019c91197561e177
[ghc.git] / testsuite / tests / perf / compiler / T5837.hs
1 {-# LANGUAGE AllowAmbiguousTypes, TypeFamilies #-}
2
3 module T5837 where
4
5 type family TF a :: *
6 type instance TF (a,b) = (TF a, TF b)
7
8 t :: (a ~ TF (a,Int)) => Int
9 t = undefined