Bidirectional type checking of GraphQL | Hacker News Reader