A fixed point theorem for contractive-type fuzzy mappings