diff --git a/dunai.cabal b/dunai.cabal
--- a/dunai.cabal
+++ b/dunai.cabal
@@ -1,5 +1,5 @@
 name:                dunai
-version:             0.7.0
+version:             0.8.0
 synopsis:            Generalised reactive framework supporting classic, arrowized and monadic FRP.
 homepage:            https://github.com/ivanperez-keera/dunai
 description:
diff --git a/src/Control/Monad/Trans/MSF/Random.hs b/src/Control/Monad/Trans/MSF/Random.hs
--- a/src/Control/Monad/Trans/MSF/Random.hs
+++ b/src/Control/Monad/Trans/MSF/Random.hs
@@ -7,8 +7,6 @@
 --   Under the hood, 'RandT' is basically just 'StateT',
 --   with the current random number generator as mutable state.
 
-
-{-# LANGUAGE Arrows              #-}
 module Control.Monad.Trans.MSF.Random
   (
     runRandS
diff --git a/src/Data/MonadicStreamFunction/Core.hs b/src/Data/MonadicStreamFunction/Core.hs
--- a/src/Data/MonadicStreamFunction/Core.hs
+++ b/src/Data/MonadicStreamFunction/Core.hs
@@ -170,20 +170,3 @@
     --
     --  morph' :: (forall c . (a -> m1 (b, c)) -> (a -> m2 (b, c)))
         morph' m1F = morph . m1F
-
--- IPerez: There is an alternative signature for liftMStreamPurer that also
--- works, and makes the code simpler:
---
--- morphS :: Monad m => (m1 (b, MSF m1 a b) -> m (b, MSF m1 a b)) -> MSF m1 a b -> MSF m a b
---
--- Then we can express:
---
--- liftTransS = morphS lift
--- liftBaseS  = morphS liftBase
---
--- We could also define a strict version of morphS as follows:
---
--- morphS'  f = morphS (f >=> whnfVal)
---   where whnfVal p@(b,_) = b `seq` return p
---
--- and leave morphS as a lazy version (by default).