diff --git a/pointfree-fancy.cabal b/pointfree-fancy.cabal
--- a/pointfree-fancy.cabal
+++ b/pointfree-fancy.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.0
 name: pointfree-fancy
-version: 1.1.1.10
+version: 1.1.1.11
 license: BSD3
 license-file: LICENSE
 maintainer: Vanessa McHale <vamchale@gmail.com>
diff --git a/src/Plugin/Pl/Rules.hs b/src/Plugin/Pl/Rules.hs
--- a/src/Plugin/Pl/Rules.hs
+++ b/src/Plugin/Pl/Rules.hs
@@ -166,7 +166,7 @@
   sumE, productE, concatE, concatMapE, joinE, mapE, fmapE, fmapIE, subtractE,
   minusE, liftME, apE, liftM2E, seqME, zipE, zipWithE, onE, oedipusE, comp2E,
   crossE, firstE, secondE, andE, orE, allE, anyE, returnE, fishE, mfishE,
-  needleE :: MExpr
+  needleE, mneedleE :: MExpr
 idE        = Quote $ Var Pref "id"
 flipE      = Quote $ Var Pref "flip"
 constE     = Quote $ Var Pref "const"
@@ -217,7 +217,7 @@
 minusE     = Quote $ Var Inf  "-"
 liftME     = Quote $ Var Pref "liftM"
 liftM2E    = Quote $ Var Pref "liftM2"
-fishE      = Quote $ Var Inf  ">=>"
+fishE      = Quote $ Var Inf ">=>"
 kliesliE   = Quote $ Var Inf "<=<"
 apE        = Quote $ Var Inf  "ap"
 seqME      = Quote $ Var Inf  ">>"
@@ -234,6 +234,7 @@
 pointyE    = Quote $ Var Inf "$>"
 mfishE     = Quote $ Var Inf "<=*<"
 needleE    = Quote $ Var Inf "~@~"
+mneedleE   = Quote $ Var Inf "<~@-<"
 
 a, c, c2 :: MExpr -> MExpr -> MExpr
 a       = MApp
@@ -617,6 +618,10 @@
   -- (<&>) -.* (.*) -> (~@~)
   rr (\f g -> (oedipusE `a` eyeE `a` comp2E) `a` f `a` g)
      (\f g -> needleE `a` f `a` g),
+
+  -- flip . ((<=<) .* (<=<)) -> (>~@->)
+  rr (\f g -> (flipE `c` (kliesliE `c2` kliesliE)) `a` f `a` g)
+     (\f g -> mneedleE `a` f `a` g),
 
   -- (x &) -> ($ x)
   rr (\x -> ampersandE `a` x)
diff --git a/test/Test.hs b/test/Test.hs
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -180,6 +180,7 @@
   unitTest "(+2).(+3).(+4)" ["(9 +)"],
   unitTest "head $ fix (x:)" ["x"],
   unitTest "\\f g -> (f .) . (. g)" ["(~@~)"],
+  unitTest "\\f g h -> f <=< h <=< g" ["(<~@-<)"],
   unitTest "head $ tail $ let xs = x:ys; ys = y:ys in xs" ["y"],
   unitTest "head $ tail $ let ys = y:ys in let xs = x:ys in xs" ["y"],
   unitTest "2+3*4-3*3" ["5"],