Explicitly specified type