export * from "@principia/prelude/Eq/constructors";