0

In To what extent are Applicative/Monad instances uniquely determined? I asked if the for a given data type the instances are uniquely determined (which is not the case). However, a related but different question is:

If we have a data type with an Applicative instance, can it have more than one valid Monad instance? Or in other words, is the corresponding monad uniquely determined, if it exists?

Community
  • 1
  • 1
Petr
  • 62,528
  • 13
  • 153
  • 317
  • 1
    I think [Ørjan Johansen's answer](http://stackoverflow.com/a/32932140/1477667) to your previous question (specifically the addendum) should answer this one. – dfeuer Jul 08 '16 at 17:51
  • @dfeuer You're right, I forgot about that addendum, that's indeed the answer. – Petr Jul 08 '16 at 18:05

0 Answers0