Types
=====

.. toctree::

   null
   lazysequence
   functor
   applicative
   function
   monadic
   monad
   monadplus
   identity
   maybe
   either
   list