module Haskell.Law.Eq where

open import Haskell.Law.Eq.Def       public
open import Haskell.Law.Eq.Instances public