Is the functor distribution law for the `Alt` typeclass trivial?...

Law for type [[a]] -> ([a], [a])...

Paramcoq: Free theorems in Coq...

Finding a "free theorem"...

For different possible Monad instances of a type, is the implied Functor instance always the same?...