checkStatus :: Logout -> IO Logout
checkStatus k
  | status k == FAIL = throwM k
  | otherwise = return k
checkStatus :: Logout -> IO Logout
checkStatus k
  | status k == FAIL = throwM k
  | otherwise = return k
checkStatus k
  | status k == FAIL = throwM k
  | otherwise = return k