constant-types interesting