From 572dfc88a455551a7f1f6bbf6e89206bb82f6c5b Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 8 Jul 2023 17:05:34 +0200
Subject: [PATCH] Make the compiler happy (remove useless imports).

---
 src/App/UserPublic.purs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/App/UserPublic.purs b/src/App/UserPublic.purs
index 5eaaf4a..8de85a0 100644
--- a/src/App/UserPublic.purs
+++ b/src/App/UserPublic.purs
@@ -1,13 +1,10 @@
 module App.UserPublic where
 
-import Prelude
-
-import Data.Maybe
+import Data.Maybe (Maybe)
 
 import Data.Codec.Argonaut (JsonCodec)
 import Data.Codec.Argonaut as CA
 import Data.Codec.Argonaut.Record as CAR
-import Data.Newtype (class Newtype)
 
 -- | Currently not the real type.
 -- | Lacks 'profile' attribute.