anchor.diff:  functions. But observe what happens when the number of computations increases:
   
   .Composability example of bind function.
  -[source, Clojure]
  +[source, clojure]
   ----
   (bind (just 1)
         (fn [a]
  
positive.code: any other monad. The transformer functions take a Monad as their argument and they
  return a reified MonadTrans:
  
  [source, Clojure]
  ----
  (ns transformers.example
    (:require [cats.core :as m]
  
negative.code: abstraction consists of one unique function: *fmap*.
  
  .Signature of *fmap* function
  [source, clojure]
  ----
  (fmap [f fv])
  ----
  