Each binder also carries around its type (explicitly shown above), but
this is usually not shown in the Core expressions. Only when the type is
relevant (when a new binder is introduced, for example) will it be
Each binder also carries around its type (explicitly shown above), but
this is usually not shown in the Core expressions. Only when the type is
relevant (when a new binder is introduced, for example) will it be