Finished (?) to implement Equality rules for Maybe.