ghc-exactprint-0.5.3.1: tests/examples/ghc80/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