Two new types of fixed point theorems for F-contraction