diff --git a/src/func.rs b/src/func.rs
index 397e1a1..9e71f26 100644
--- a/src/func.rs
+++ b/src/func.rs
@@ -10,7 +10,7 @@
 mod applicative_select;
 pub mod class_prelude;
 pub mod context;
-mod controlflow;
+pub mod controlflow;
 pub mod derivations;
 mod extensions;
 pub mod fail;
@@ -25,7 +25,7 @@ pub mod tests;
 pub use self::applicative_select::{
     ApplicativeSelect, ApplicativeSelectExt, Selected, SelectedWrapped,
 };
-pub use self::controlflow::{ControlFlow, Iterative, IterativeWrapped};
+use self::controlflow::{ControlFlow, Iterative};
 pub use self::extensions::MonadExt;
 #[cfg(doc)]
 use self::instances::stackless::StacklessInstance;
diff --git a/src/func/class_prelude.rs b/src/func/class_prelude.rs
index dff5120..977f0be 100644
--- a/src/func/class_prelude.rs
+++ b/src/func/class_prelude.rs
@@ -1,12 +1,13 @@
 pub use super::{
+    controlflow::{ControlFlow, Iterative, IterativeWrapped},
     extensions::MonadExt,
     fail::{Fail, MonadFail, MonadFailAny, MonadFailAnyExt, WrapE},
     instances,
     local::LocalFunctor,
     shared::{SharedFunctor, SharedFunctorAny},
     Applicative, ApplicativeLA2, ApplicativeSelect, ApplicativeSelectExt, ApplicativeSeq,
-    ApplicativeTuple, ControlFlow, Functor, Iterative, IterativeWrapped, Monad, Pure, Selected,
-    SelectedWrapped, WeakFunctor, WeakFunctorAny, Wrap,
+    ApplicativeTuple, Functor, Monad, Pure, Selected, SelectedWrapped, WeakFunctor, WeakFunctorAny,
+    Wrap,
 };
 #[cfg(test)]
 pub use super::{test_suite, tests};
diff --git a/src/rstd/collections/stack.rs b/src/rstd/collections/stack.rs
index deea1a4..ac14123 100644
--- a/src/rstd/collections/stack.rs
+++ b/src/rstd/collections/stack.rs
@@ -1,6 +1,6 @@
 //! Basic implementation of a stack/linked list.
 
-use crate::func::context::*;
+use crate::func::{context::*, controlflow::ControlFlow};
 use crate::rcore::*;
 use crate::rstd::{inlining::*, nullable::*, point::*, *};