Testing laws with Leon

Previously, we talked about runtime verification of functor and applicative laws using ScalaCheck:

http://eed3si9n.com/learning-scalaz/Functor+Laws.html

This time we'll be diverging briefly from our Learning Scalaz series to explore Leon, a Scala verification system developed at EPFL:

http://leon.epfl.ch/

We'll use Leon to do compile-time verification of the same functor and applicative laws from before.