{-# 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)