removed snoc and cons instances