New posts in Free Theorem

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

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