Understanding the typing of `query` function

Questions
2

First, a couple important pieces of documentation that you should take a look at if you have not yet had a chance to:

  1. Basics on constraints (worth reading the whole 101 page if you have not seen it before)
  2. more about what the part before => means

With that background, you’ll be well-equipped to understand the following: query @BankAccount bank sets the type argument t to BankAccount, and the first function value argument to bank.

2 Likes