added some Show and Eq instances