explicit type