diff --git a/composition-prelude.cabal b/composition-prelude.cabal
--- a/composition-prelude.cabal
+++ b/composition-prelude.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: composition-prelude
-version: 1.5.0.7
+version: 1.5.0.8
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2017-2018 Vanessa McHale
diff --git a/src/Control/Composition.hs b/src/Control/Composition.hs
--- a/src/Control/Composition.hs
+++ b/src/Control/Composition.hs
@@ -30,6 +30,7 @@
 
 import           Control.Arrow ((***))
 import           Control.Monad
+import           Data.Foldable (sequenceA_)
 import           Data.Function (fix, on, (&))
 import           Data.Functor  ((<&>))
 
@@ -43,14 +44,14 @@
 infixr 8 -.****
 infixl 8 -$
 
-axe :: (Traversable t, Monad m) => t (a -> m ()) -> a -> m ()
-axe = sequence_ .* sequence
+axe :: (Traversable t, Applicative f) => t (a -> f ()) -> a -> f ()
+axe = sequenceA_ .* sequenceA
 
-bisequence' :: (Traversable t, Monad m) => t (a -> b -> m c) -> a -> b -> t (m c)
-bisequence' = sequence .* sequence
+bisequence' :: (Traversable t, Applicative f) => t (a -> b -> f c) -> a -> b -> t (f c)
+bisequence' = sequenceA .* sequenceA
 
-biaxe :: (Traversable t, Monad m) => t (a -> b -> m ()) -> a -> b -> m ()
-biaxe = sequence_ .** bisequence'
+biaxe :: (Traversable t, Applicative f) => t (a -> b -> f ()) -> a -> b -> f ()
+biaxe = sequenceA_ .** bisequence'
 
 both :: (a -> b) -> (a, a) -> (b, b)
 both = join (***)