问题描述
根据Haskell Wiki，
https://en.wikibooks.org/wiki/Haskell/Category_theory#Category_laws
类别法 类别需要遵循三个定律。首先，最简单的是，态素的组成必须具有关联性。
但是，
关系的构成具有关联性。
https://en.wikipedia.org/wiki/Composition_of_relations#Properties
功能组成始终是关联的。
https://en.wikipedia.org/wiki/Function_composition#Properties
那么，在什么情况下，Haskell社区（或Wiki假设的社区）认为，态射的构成并没有违反规则？
谢谢。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）