diff --git a/libs/contrib/Data/Seq/Internal.idr b/libs/contrib/Data/Seq/Internal.idr
index 5d9fb2158..b9cf10664 100644
--- a/libs/contrib/Data/Seq/Internal.idr
+++ b/libs/contrib/Data/Seq/Internal.idr
@@ -441,10 +441,9 @@ export
 split : Nat -> FingerTree (Elem a) -> (FingerTree (Elem a), FingerTree (Elem a))
 split _ Empty = (Empty, Empty)
 split i xs =
-  let MkSplit l x r = splitTree i xs
-  in if size xs > i
-    then (l, x `consTree` r)
-    else (xs, Empty)
+  if size xs > i
+   then let MkSplit l x r = splitTree i xs in (l, x `consTree` r)
+   else (xs, Empty)
 
 
 -- Concatenation