SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc265.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module Tc265 where
4
5 data T a = MkT (F a)
6 type family F a where
7 F (T a) = a
8 F (T Int) = Bool