module Data.Eq (
  module Base
) where
import "base" Data.Eq as Base