{-# LANGUAGE CPP, TypeFamilies, DeriveDataTypeable #-}

module PGIP.GraphQL.Result.Sentence where

import qualified PGIP.GraphQL.Result.Axiom as GraphQLResultAxiom
import qualified PGIP.GraphQL.Result.Conjecture as GraphQLResultConjecture

import Data.Data

data Sentence = Axiom GraphQLResultAxiom.Axiom
              | Conjecture GraphQLResultConjecture.Conjecture
                deriving (Show, Typeable, Data)