diff --git a/src/lib/driver.mbt b/src/lib/driver.mbt
index 03918d9..cf8a3dc 100644
--- a/src/lib/driver.mbt
+++ b/src/lib/driver.mbt
@@ -30,11 +30,7 @@ type! TestError {
 
 ///|
 enum TestSuccess {
-  Success(
-    num_tests~ : Int,
-    coverage~ : Coverage,
-    output~ : String
-  )
+  Success(num_tests~ : Int, coverage~ : Coverage, output~ : String)
 }
 
 ///|
diff --git a/src/lib/driver_wbtest.mbt b/src/lib/driver_wbtest.mbt
index 3393570..deb267c 100644
--- a/src/lib/driver_wbtest.mbt
+++ b/src/lib/driver_wbtest.mbt
@@ -33,11 +33,11 @@ test "modify max tests" {
 }
 
 test "large max tests" {
-  quick_check!(Arrow(prop_rev) |> with_max_success(10000))
+  quick_check!(() |> with_max_success(10000))
 }
 
 test "larger max tests" {
-  quick_check!(Arrow(prop_rev) |> with_max_success(100000))
+  quick_check!(() |> with_max_success(100000))
 }
 
 test "add assoc double (expect fail)" {
@@ -177,7 +177,7 @@ test "prop length is not greater" {
 
 test "prop remove not presence with max success" {
   quick_check!(
-    Arrow(prop_remove_not_presence) |> with_max_success(10000) |> expect_fail,
+    Arrow(prop_remove_not_presence) |> with_max_success(1000) |> expect_fail,
   )
 }
 
diff --git a/src/lib/lazy/lazy_list.mbt b/src/lib/lazy/lazy_list.mbt
index ba0443e..a595d20 100644
--- a/src/lib/lazy/lazy_list.mbt
+++ b/src/lib/lazy/lazy_list.mbt
@@ -16,16 +16,22 @@ pub fn default[X : Default]() -> LazyList[X] {
 
 ///|
 pub impl[T : Show] Show for LazyList[T] with output(self, logger) {
-  match self {
-    Nil => logger.write_string("Nil")
-    Cons(x, xs) =>
-      logger
-      ..write_string("Cons(")
-      ..write_object(x)
-      ..write_string(", ")
-      ..write_object(force(xs))
-      .write_char(')')
+  logger.write_string("[")
+  loop self {
+    Nil => break
+    Cons(x, xs) => {
+      let next = xs.force()
+      logger.write_object(x)
+      match next {
+        Nil => break
+        _ => {
+          logger.write_string(", ")
+          continue next
+        }
+      }
+    }
   }
+  logger.write_string("]")
 }
 
 ///|
@@ -88,13 +94,21 @@ pub fn map[T, U](self : LazyList[T], f : (T) -> U) -> LazyList[U] {
 
 ///|
 pub fn split_at[T](self : LazyList[T], i : Int) -> (LazyList[T], LazyList[T]) {
-  match (self, i) {
-    (Cons(_), 0) => (Nil, self)
-    (Cons(x, xs), i) => {
-      let (l, r) = xs.force().split_at(i - 1)
-      (Cons(x, from_thunk(fn() { l })), r)
+  if i <= 0 {
+    (Nil, self)
+  } else {
+    fn split_at_prime(m, xs) {
+      match (m, xs) {
+        (_, Nil) => (Nil, Nil)
+        (1, Cons(x, xs)) => (Cons(x, from_value(Nil)), xs.force())
+        (m, Cons(x, xs)) => {
+          let (xs1, xs2) = split_at_prime(m - 1, xs.force())
+          (Cons(x, xs1 |> from_value), xs2)
+        }
+      }
     }
-    (Nil, _) => (Nil, Nil)
+
+    split_at_prime(i, self)
   }
 }
 
@@ -166,6 +180,30 @@ pub fn take_while[T](self : LazyList[T], p : (T) -> Bool) -> LazyList[T] {
   }
 }
 
+///|
+pub fn take[T](self : LazyList[T], n : Int) -> LazyList[T] {
+  if n <= 0 {
+    Nil
+  } else {
+    match self {
+      Nil => Nil
+      Cons(x, xs) => Cons(x, from_value(take(xs.force(), n - 1)))
+    }
+  }
+}
+
+///|
+pub fn drop[T](self : LazyList[T], n : Int) -> LazyList[T] {
+  if n <= 0 {
+    self
+  } else {
+    match self {
+      Nil => Nil
+      Cons(_, xs) => drop(xs.force(), n - 1)
+    }
+  }
+}
+
 ///|
 pub fn drop_while[T](self : LazyList[T], p : (T) -> Bool) -> LazyList[T] {
   match self {
@@ -215,3 +253,11 @@ pub fn unfold[T](
     Some((x, y)) => Cons(x, from_thunk(fn() { y.unfold(f) }))
   }
 }
+
+///|
+pub fn from_list[T](ls : @immut/list.T[T]) -> LazyList[T] {
+  match ls {
+    Nil => Nil
+    Cons(x, xs) => Cons(x, from_value(from_list(xs)))
+  }
+}