ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/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