那么,specX是specC的推广,只有当specA和specB都是specC的推广时,才是specC的推广。(2) specY是specA与specB的分离。那么,specY是specC的推广,如果specA或specB都是specC的推广。然而,在文件的第16页,它们显示了这种方法:"True if each com
我将从包推广到hoistFreeM,类似于如何将fmap推广到Data.Traversable.mapM。where go (Pure x) = return $ Pure x但是,我不认为有一种方法可以进一步推广它来与任何Applicative一起工作,类似于如何将Data.Traversable.mapM推广到Data.Traversable.traverse。