what laws does pointed obey? about constraintkinds HOT 3 CLOSED

It's supposed to obey the laws that ekmett's Pointed class obeys; that is... If it's also applicative then the applicative laws and if it's a monad then the monad laws.

this whole hierarchy was part of my learning experience for haskell, and in retrospect I think a lot of things could be done better. I'd probably remove the pointed class completely, for example.

from constraintkinds.

what other ways would you change it?

from constraintkinds.

I'm not convinced that the Applicative class even makes sense when you have constraints. I haven't been able to find any examples of one that's not a Monad, and it really complicates things a lot.

The Foldable class has a lot of functions, but none of them have good defaults in terms of each other. I still don't know if it's possible to give them sensible defaults with all the constraints everywhere or not.

from constraintkinds.