def health_check(self) -> Result[None, str]:
    return Err("unimplemented")

Wow, so you can type the return value in Python? Had no idea.