Some standard instances for SafeEq