Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   In the Haskell community, there is a controversy about what the laws of the MonadPlus type constructor class ought to be.  suggest that there is no single universal correct ansr, hover there is a universal method. Important classes of notions of finitary nondeterminism are captured by what  call monads of semigroups and monads of monoids, but also by monads of different specializations of semigroups and monoids. Some of these specializations of monads are exotic and amusing too.
['Tarmo Uustalu']
I am writing a research paper on a idea A divertimento on MonadPlus and nondeterminism
[{"from": "human", "value": "I am writing a research paper on a idea A divertimento on MonadPlus and nondeterminism"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   In the Haskell community, there is a controversy about what the laws of the MonadPlus type constructor class ought to be.  suggest that there is no single universal correct ansr, hover there is a universal method. Important classes of notions of finitary nondeterminism are captured by what  call monads of semigroups and monads of monoids, but also by monads of different specializations of semigroups and monoids. Some of these specializations of monads are exotic and amusing too."}]