Improving TypeScript Code with Combinators for Credential Verification - Effect Community