ghc-exactprint-0.5.0.0: tests/examples/ghc8/tc265.hs
{-# LANGUAGE TypeFamilies #-}
module Tc265 where
data T a = MkT (F a)
type family F a where
F (T a) = a
F (T Int) = Bool
{-# LANGUAGE TypeFamilies #-}
module Tc265 where
data T a = MkT (F a)
type family F a where
F (T a) = a
F (T Int) = Bool