我试图了解扩展如何TypeFamilies工作，但是当类型系统无法推断正确的类型时，我感到非常沮丧，例如我认为简单的例子：{-#LANGUAGETypeFamilies#-}{-#LANGUAGEFlexibleContexts#-}{-#LANGUAGEOverloadedStrings#-}importData.TextimportData.StringclassAClasstwheretypefamilyATypet::*somefunction::t->ATypetinstanceAClassTextwheretypeATypeText=Intsomefunction=const4in