the description for this gist

post.scala

@free trait LoginDatabase {
  def insertCredentialsUser(e: UserEmail, p: PasswordHash): FS[Attempt[UserId]]
  def insertGitHubUser(d: GitHubData): FS[Attempt[UserId]]
  def queryByLoginEmail(e: UserEmail): FS[Option[(UserId, PasswordHash)]]
  def queryByGitHubId(id: GitHubId): FS[Option[UserId]]
}

@free trait GitHubClient {
  def login(code: String): FS[GitHubDataResponse]
}

@free trait Log {
  def info(msg: String): FS[Unit]
  def warn(msg: String): FS[Unit]
  def warnWithCause(msg: String, cause: Throwable): FS[Unit]
}

@free trait JwtService {
  def issue(id: UserId): FS[JWT]
  def validate(jwt: JWT): FS[Option[Claims]]
}