I do not understand why this compiles February 14, 2023 by Tarik It’s interpreted as the declaration of a function named a, which takes one argument of type B and returns A.