I cannot statically enforce the latter :( but yes it makes more sense