{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Constrained.Spec (
  module X,
) where

import Constrained.Base as X
import Constrained.Instances ()
import Constrained.Spec.Generics as X
import Constrained.Spec.Map as X
import Constrained.Spec.Pairs as X
import Constrained.Spec.Tree as X
import Constrained.Univ ()