1. 2

    Nice! Thanks for all the links, you led me to a lot more reading material :)

    It’s easy to recognize (Int, Double) as a product between Int and Bool.

    Typo?

    1. 2

      Thanks for the catch! Definitely a typo :)