A fully typed library to verify hCaptcha.com tokens submitted by users when solving captcha challenges