module Test.Agata (
    module Test.Agata.Base
  , module Test.Agata.Strategies
  , module Test.Agata.Common
  , module Test.Agata.Related
  ) where

import Test.Agata.Base
import Test.Agata.Strategies
import Test.Agata.Common
import Test.Agata.Related
import Test.Agata.Instances