More scalaz design background and sample code.