we currently use equality matches on TypeConstraints sometimes, which is... odd