Regardless, I still need to define equality for my types.