module Test.Agata (
    module Test.Agata.Base
  , module Test.Agata.Strategies
  , module Test.Agata.Common
  , module Data.Tagged
  ) where

import Data.Tagged

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