That's codegen, which isn't generally cheap, and it's a decently large amount of code, but it's basically entirely type aliases