From f6c000e27e3d0a1247ea07e1370a982fdf5ce343 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Tue, 19 Sep 2023 18:40:05 +0100
Subject: [PATCH] Fix typo in namespace for [bi]traversable composition

---
 libs/prelude/Prelude/Interfaces.idr | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/libs/prelude/Prelude/Interfaces.idr b/libs/prelude/Prelude/Interfaces.idr
index e7ae329e37..f4c2ab7880 100644
--- a/libs/prelude/Prelude/Interfaces.idr
+++ b/libs/prelude/Prelude/Interfaces.idr
@@ -583,8 +583,7 @@ namespace Traversable
     using Foldable.Compose Functor.Compose where
       traverse = traverse . traverse
 
-namespace Bitraveresable
-
+namespace Bitraversable
   ||| Composition of a bitraversable and a traversable is bitraversable.
   public export %tcinline
   [Compose] (l : Traversable t) => (r : Bitraversable p) => Bitraversable (t .: p)