Consider the following instance of the Functor Eq: data Pair b = P i] b instance (Eq a, Eq b)Eq (Pair a b) where --(--) :: Pair a b-> Pair a b-> Bool (a) Prove that this satisfies Reflexivity (b) Prove that this satisfies Symmetry (c) Prove that this satisfies Transitivity. Consider the following instance of the Functor Eq: data Pair b = P i] b instance (Eq a, Eq b)Eq (Pair a b) where --(--) :: Pair a b-> Pair a b-> Bool (a) Prove that this satisfies Reflexivity (b) Prove that this satisfies Symmetry (c) Prove that this satisfies Transitivity