More generic Equatable instances
Generic Variable instances