anchor.diff:  ;; => #<Nothing >
   ----
   
  -Moreover, the applicative functor comes with *pure* function, and the main purpose of this function is
  -to put some value in side-effect-free context of the current type.
  +Moreover, the applicative functor comes with the *pure* function, which allows
  +you to put some value in side-effect-free context of the current type.
   
   Examples:
   
  
positive.code: 
  == FAQ
  
  === What Clojure types implements some of the Category Theory abstractions?
  
  In contrast to other similar libraries in Clojure, _cats_ doesn't intend to extend Clojure types
  that don't act like containers. For example, Clojure keywords are values but can not be containers so
  
negative.code: 
  === Validation
  
  The validation type is similar to the Either or Exception types except that it
  doesn't implement a Monad instance. It has two constructors: `ok` and `fail`,
  representing success and failure respectively.
  
  [source, clojure]
  ----
  