Derived definitions of Compare use helper closed type family