    {-# LANGUAGE MultiParamTypeClasses #-}
    {-# LANGUAGE ScopedTypeVariables #-}

    -- | Properties of operations
    module Test.Validity.Operations
      ( module Test.Validity.Operations.Associativity,
        module Test.Validity.Operations.Commutativity,
        module Test.Validity.Operations.Identity,
      )
    where

    import Test.Validity.Operations.Associativity
    import Test.Validity.Operations.Commutativity
    import Test.Validity.Operations.Identity