Thanks Michael. I enabled ScopedTypeVariables in that module (Yesod.Auth.Dummy and Yesod.Auth.Email have this as well). And I changed the first line to:
authEmailLink :: forall m. YesodAuth m => AuthPlugin m
However, the error message is the same except that now `m1` has changed to `m`.
type HashDBPersist master user =
( YesodAuthPersist master
, PersistUnique (YesodPersistBackend master)
, AuthEntity master ~ user
#if MIN_VERSION_persistent(2,5,0)
, PersistEntityBackend user ~ BaseBackend (YesodPersistBackend master)
#else
, PersistEntityBackend user ~ YesodPersistBackend master
#endif
, HashDBUser user
, PersistEntity user
)
I don't think that I need most of these. But even if I use all except `HashDBUser`, I still get the same error message :-/