- <+> pp_inj <+> ptext (sLit "type function")
- where
- pp_inj | isInjectiveTyCon tc = ptext (sLit "is an (injective)")
- | otherwise = ptext (sLit "is a (non-injective)")
+ <+> ptext (sLit "is a type function") <> pp_inj
+ where
+ pp_inj | isInjectiveTyCon tc = empty
+ | otherwise = ptext (sLit (", and may not be injective"))