support explicitly typing
travis ci