diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+### 0.11.0.3
+
+- Updated the documentation in Luminance crate module.
+
 ### 0.11.0.2
 
 - Added support for `dlist-0.8`.
diff --git a/luminance.cabal b/luminance.cabal
--- a/luminance.cabal
+++ b/luminance.cabal
@@ -1,5 +1,5 @@
 name:                luminance
-version:             0.11.0.2
+version:             0.11.0.3
 synopsis:            Type-safe, type-level and stateless graphics framework
 description:         This package exposes several modules to work with /GPUs/ in a stateless and
                      type-safe way. Currently, it uses OpenGL as backend hardware technology but
diff --git a/src/Graphics/Luminance.hs b/src/Graphics/Luminance.hs
--- a/src/Graphics/Luminance.hs
+++ b/src/Graphics/Luminance.hs
@@ -99,6 +99,17 @@
 --   runResourceT . runExcepT
 -- @
 --
+-- Creating shader stages can also fail, so we need to create data type to handle those
+--
+-- @
+-- data Error = ErrorStage StageError | ErrorProgram ProgramError deriving (Show)
+-- instance HasStageError Error where
+--   fromStageError = ErrorStage
+--
+-- instance HasProgramError Error where
+--   fromProgramError = ErrorProgram
+-- @
+--
 -- = Getting something to the screen
 --
 -- == About the screen
@@ -148,6 +159,15 @@
 -- change in the end. An EDSL is planned to make things easier and safer, but in the waiting, you
 -- are stuck with 'String', I’m sorry.
 --
+-- Whenever you create a program with shader stages, you'll need to unwrap ErrorStage and
+-- ErrorProgram.
+--
+-- @
+-- (x::Either Error ()) <- runExceptT . runResourceT $ do
+-- @
+--
+-- Each time
+--
 -- You have to write either /GLSL330/ or /GLSL450/ conformant code. If you compile with the
 -- __gl45-bindless-textures__ flag, samplers will have an automatic qualifier to make them
 -- bindless.
@@ -224,13 +244,13 @@
 -- @
 --   in vec2 co;
 --   out vec4 vertexColor;
---    
+--
 --   vec4 color[3] = vec4[](
 --       vec4(1., 0., 0., 1.)
 --     , vec4(0., 1., 0., 1.)
 --     , vec4(0., 0., 1., 1.)
 --     );
---    
+--
 --   void main() {
 --     gl_Position = vec4(co, 0., 1.);
 --     vertexColor = color[gl_VertexID];
@@ -245,7 +265,7 @@
 -- @
 --   in vec4 vertexColor;
 --   out vec4 frag;
---    
+--
 --   void main() {
 --     frag = vertexColor;
 --   }
@@ -254,29 +274,25 @@
 -- Now, let’s create the shader 'Stage's and the shader 'Program':
 --
 -- @
---   program \<- 'sequenceA' ['createVertexShader' vsSrc,'createFragmentShader' fsSrc] \>\>= createProgram_
+--   program \<- 'sequenceA' ['createStage' 'VertexShader' vsSrc, 'createStage' 'FragmentShader' fsSrc] >>= 'createProgram_'
 -- @
 --
 -- Once again, that’s pretty straight-forward.
 --
--- Finally, we need the batches. We’ll need one 'FBBatch' and one 'SPBatch'.
+-- Finally, we need a 'FrameCmd'. To create one, we'll make a 'DrawCmd' from a 'RenderCmd'
 --
 -- @
---   let spb = 'shaderProgramBatch_' program ['stdRenderCmd_' triangle]
---       fbb = 'framebufferBatch' 'defaultFramebuffer' ['anySPBatch' spb]
+--   let
+--       rcmd = 'renderCmd' 'Nothing' 'False'
+--       sbp geometry = 'pureDraw' $ rcmd geometry
+--       fbb program geometry = 'defaultFrameCmd' ['ShadingCmd' program (\a -> mempty) [sbp geometry]]
 -- @
 --
--- Ok, so let’s explain all of this. 'shaderProgramBatch_' is a shorter version of
--- 'shaderProgramBatch' you can use to build 'SPBatch'. The extra underscore means you don’t want no
--- uniform interface. We pass our @program@ and a singleton list containing a 'RenderCmd' we create
--- with the 'stdRenderCmd_'. Once again, the extra underscore stands for no uniform interface. We
--- then just pass our @triangle@. Notice that both 'stdRenderCmd' and 'stdRenderCmd_' disable color
--- blending and enable depth test so that you don’t have to pass those information around.
---
--- Then, we create the 'FBBatch'. That is done via the 'framebufferBatch' function. It takes the
--- 'Framebuffer' to render into – in our case, the 'defaultFramebuffer', which is the /back buffer/.
--- We also pass a singleton list of the universally quantified 'SPBatch' with the 'anySPBatch'
--- function.
+-- Ok, so let’s explain all of this. 'renderCmd' specifies a blending mode and depth test for rendering
+-- a geometry, in this case our triangle.  We pass our @program@ and a singleton list containing the
+-- 'RenderCmd' we create with 'pureDraw' to make a 'ShadingCmd' that includes both our program and the
+-- geometry. Finally, we build a 'FrameCmd' using the 'ShadingCmd' with 'defaultFrameCmd'. 'defaultFrameCmd'
+-- uses the back buffer provided by GLFW-b.
 --
 -- We just need to issue a command to the /GPU/ to render our triangle. That is done with a
 -- constrained type, 'Cmd'.