diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2024-04-23 Ivan Perez <ivan.perez@keera.co.uk>
+        * Version bump (0.14.8) (#411).
+        * Offer all definitions from FRP.Yampa.Loop (#407).
+
 2024-02-21 Ivan Perez <ivan.perez@keera.co.uk>
         * Version bump (0.14.7) (#398).
         * Limit version of transformers to < 0.6 (#405).
diff --git a/bearriver.cabal b/bearriver.cabal
--- a/bearriver.cabal
+++ b/bearriver.cabal
@@ -30,7 +30,7 @@
 build-type:    Simple
 
 name:          bearriver
-version:       0.14.7
+version:       0.14.8
 author:        Ivan Perez, Manuel Bärenz
 maintainer:    ivan.perez@keera.co.uk
 homepage:      https://github.com/ivanperez-keera/dunai
@@ -87,6 +87,7 @@
     FRP.BearRiver.EventS
     FRP.BearRiver.Hybrid
     FRP.BearRiver.Integration
+    FRP.BearRiver.Loop
     FRP.BearRiver.Scan
     FRP.BearRiver.Switches
     FRP.BearRiver.Time
diff --git a/src/FRP/BearRiver/Loop.hs b/src/FRP/BearRiver/Loop.hs
new file mode 100644
--- /dev/null
+++ b/src/FRP/BearRiver/Loop.hs
@@ -0,0 +1,35 @@
+-- |
+-- Copyright  : (c) Ivan Perez, 2019-2022
+--              (c) Ivan Perez and Manuel Baerenz, 2016-2018
+-- License    : BSD3
+-- Maintainer : ivan.perez@keera.co.uk
+--
+-- Well-initialised loops.
+module FRP.BearRiver.Loop
+    (
+      -- * Loops with guaranteed well-defined feedback
+      loopPre
+    , loopIntegral
+    )
+  where
+
+-- External imports
+import Control.Arrow     (loop, second, (>>>))
+import Control.Monad.Fix (MonadFix)
+import Data.VectorSpace  (VectorSpace)
+
+-- Internal imports
+import FRP.BearRiver.Delays       (iPre)
+import FRP.BearRiver.Integration  (integral)
+import FRP.BearRiver.InternalCore (SF)
+
+-- * Loops with guaranteed well-defined feedback
+
+-- | Loop with an initial value for the signal being fed back.
+loopPre :: MonadFix m => c -> SF m (a, c) (b, c) -> SF m a b
+loopPre cInit sf = loop (second (iPre cInit) >>> sf)
+
+-- | Loop by integrating the second value in the pair and feeding the result
+-- back. Because the integral at time 0 is zero, this is always well defined.
+loopIntegral :: (MonadFix m, Fractional s, VectorSpace c s) => SF m (a, c) (b, c) -> SF m a b
+loopIntegral sf = loop (second integral >>> sf)