diff --git a/monadLib.cabal b/monadLib.cabal
--- a/monadLib.cabal
+++ b/monadLib.cabal
@@ -1,5 +1,5 @@
 Name:           monadLib
-Version:        3.7.2
+Version:        3.7.3
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
diff --git a/src/MonadLib/Monads.hs b/src/MonadLib/Monads.hs
--- a/src/MonadLib/Monads.hs
+++ b/src/MonadLib/Monads.hs
@@ -15,6 +15,7 @@
 ) where
 import MonadLib
 import MonadLib.Derive
+import Control.Applicative
 import Control.Monad.Fix
 import Data.Monoid
 
@@ -72,6 +73,12 @@
 instance               Functor (State     i) where fmap = derive_fmap iso_S
 instance               Functor (Exception i) where fmap = derive_fmap iso_X
 instance               Functor (Cont      i) where fmap = derive_fmap iso_C
+
+instance               Applicative (Reader    i) where pure = return; (<*>) = ap
+instance (Monoid i) => Applicative (Writer    i) where pure = return; (<*>) = ap
+instance               Applicative (State     i) where pure = return; (<*>) = ap
+instance               Applicative (Exception i) where pure = return; (<*>) = ap
+instance               Applicative (Cont      i) where pure = return; (<*>) = ap
 
 instance               MonadFix (Reader    i) where mfix = derive_mfix iso_R
 instance (Monoid i) => MonadFix (Writer    i) where mfix = derive_mfix iso_W