推荐回答
monadsarejustmonoidsinthecategoryofendofunctorsyouknow不信?食我代码:classFunctorm,Domm~Codm,MonoidComposeDommDommDommm,IdentifiedDomm,ComposedDomm=>Monadmmore:https://github.com/ekmett/hask/blob/master/src/Hask/Tensor/Compose.hs----------------------UndecidableSuperclasses:Youcannowdeclareclasseswithsuperclassconstraintsthatmightcycle.Aslongasyoursuperclassessettleonafixedpoint,though,you’regood。
黄盛洁2019-12-21 20:57:18
提示您:回答为网友贡献,仅供参考。