explicit types