diff --git a/Control/Arrow/Transformer/Static.hs b/Control/Arrow/Transformer/Static.hs
--- a/Control/Arrow/Transformer/Static.hs
+++ b/Control/Arrow/Transformer/Static.hs
@@ -14,7 +14,7 @@
 
 module Control.Arrow.Transformer.Static(
 		StaticArrow, StaticMonadArrow, StaticArrowArrow,
-		wrapA, unwrapA, wrapM, unwrapM,
+		wrap, unwrap, wrapA, unwrapA, wrapM, unwrapM,
 	) where
 
 import Control.Arrow.Internals
@@ -125,6 +125,12 @@
 		ArrowAddError ex (StaticArrow f a) (StaticArrow f a') where
 	liftError (SA f) = SA (liftError <$> f)
 	elimError (SA f) (SA h) = SA (elimError <$> f <*> h)
+
+wrap :: (Applicative f, Arrow a) => f (a b c) -> StaticArrow f a b c
+wrap = SA
+
+unwrap :: (Applicative f, Arrow a) => StaticArrow f a b c -> f (a b c) 
+unwrap (SA f) = f
 
 -- | A special case.
 
diff --git a/arrows.cabal b/arrows.cabal
--- a/arrows.cabal
+++ b/arrows.cabal
@@ -1,5 +1,5 @@
 Name:           arrows
-Version:        0.4.1.2
+Version:        0.4.2.0
 Build-Depends:  base >= 4.0 && < 6, Stream
 Build-Type:     Simple
 License:        BSD3