vvaluetryInteractInertFam :: BuiltInSynFamily-> TyCon-> [Type]-> [Type]-> [(CoAxiomRule, TypeEqn)]Peek#
Ddatadata BuiltInSynFamilyPeek#ConstructorsBuiltInSynFamilysfMatchFam :: [BuiltInFamRewrite]sfInteract :: [BuiltInFamInjectivity]