Actually Add the sum type equality check :/

Fortunately the fix did, in fact, work