Move Decidable.Equality to Prelude