{-# LANGUAGE UndecidableInstances #-}

module Utils where

import Symantic.Classes (IsoFunctor, ProductFunctor, SumFunctor)

import Webc

{- | Gather symantics used for those tests to instantiate multiple interpreters
on the same quantified 'repr'.
-}
class
  ( IsoFunctor repr
  , ProductFunctor repr
  , Repeatable repr
  , SumFunctor repr
  , Slugable repr
  ) =>
  Testable repr

instance
  ( IsoFunctor repr
  , ProductFunctor repr
  , Repeatable repr
  , SumFunctor repr
  , Slugable repr
  ) =>
  Testable repr