Haskell 内部服务器错误（正在尝试验证软件包）

我遵循y-book的用户授权示例，并计划将其放入脚手架示例中：显示第一个页面，有登录链接，如果使用browserId登录成功，则让用户转到博客

y-wiki上有一个很好的例子，但我想试试这个。所以，在“.ySOD应用程序”在

在实例范围之外的事件之后：

isMyAuth = do
  mu <- maybeAuthId
  return $ case mu of
    Nothing -> AuthenticationRequired
    Just "mylog" -> Authorized
    Just _ -> Unauthorized "You must be an mylog"

还将LoginTest更改为指向BlogR。如何使用db access编写getAuthId。我只想将它与isMyAuth函数中的文本“mylog”进行比较。通过注释getAuthId out，我们得到了内部服务器错误。如果缺少此方法，是否可以防止ghc编译

与

getAuthId creds=返回$Just“mylog”

---

它似乎在编译。然而，在“登录”之后，它会停留在登录页面上，而不会重定向到BlogR页面

您好，如何定义onLogin=redirect BlogR？

isMyAuth = do
  mu <- maybeAuthId
  return $ case mu of
    Nothing -> AuthenticationRequired
    Just "mylog" -> Authorized
    Just _ -> Unauthorized "You must be an mylog"

-- type AuthId App = UserId
type AuthId App = Text