From a6be152981d70e4e42f1e9ffa03c16c642a6c5ca Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 28 Sep 2018 14:12:13 +0200
Subject: [PATCH] minor cleanup

---
 src/Auth/Dummy.hs | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/Auth/Dummy.hs b/src/Auth/Dummy.hs
index 2a5cc5b59..843daabdd 100644
--- a/src/Auth/Dummy.hs
+++ b/src/Auth/Dummy.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE NoImplicitPrelude
-           , ExplicitForAll
            , RecordWildCards
            , TemplateHaskell
            , FlexibleContexts
@@ -13,6 +12,7 @@ module Auth.Dummy
   ) where
 
 import Import.NoFoundation
+import Database.Persist.Sql (SqlBackendCanRead)
 
 import Utils.Form
   
@@ -23,7 +23,7 @@ data DummyMessage = MsgDummyIdent
 dummyForm :: ( RenderMessage site FormMessage
              , RenderMessage site DummyMessage
              , YesodPersist site
-             , YesodPersistBackend site ~ SqlBackend
+             , SqlBackendCanRead (YesodPersistBackend site)
              , Button site SubmitButton
              , Show (ButtonCssClass site)
              ) => AForm (HandlerT site IO) Text
@@ -33,10 +33,9 @@ dummyForm = areq userField (fslpI MsgDummyIdent "plugin:ident") Nothing
     userField = textField `addDatalist` liftHandlerT (runDB userList)
     userList = map (\(Entity _ User{..}) -> userPlugin <> ":" <> userIdent) <$> selectList [] [Asc UserPlugin, Asc UserIdent]
 
-dummyLogin :: forall site.
-              ( YesodAuth site
+dummyLogin :: ( YesodAuth site
               , YesodPersist site
-              , YesodPersistBackend site ~ SqlBackend
+              , SqlBackendCanRead (YesodPersistBackend site)
               , RenderMessage site FormMessage
               , RenderMessage site DummyMessage
               , Button site SubmitButton