Defining Eq instance on Fix f for functor f with Data.Functor.Foldable

Question

I have the following functor:

import Data.Functor.Foldable

data ExprF a
    = ENum  Integer
    | EBool Bool
    | EVar  Var
    | EOp   Op [a]
    | EIf   a a a