hydra-0.14.0: src/gen-main/haskell/Hydra/Sources/Decode/Query.hs

-- Note: this is an automatically generated file. Do not edit.

-- | Source module for hydra.decode.query

module Hydra.Sources.Decode.Query where

import qualified Hydra.Core as Core
import qualified Hydra.Module as Module
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.ByteString as B
import qualified Data.Int as I
import qualified Data.List as L
import qualified Data.Map as M
import qualified Data.Set as S

module_ :: Module.Module
module_ =
    Module.Module {
      Module.moduleNamespace = (Module.Namespace "hydra.decode.query"),
      Module.moduleDefinitions = [
        Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.comparisonConstraint"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "equal"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "equal"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "notEqual"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "notEqual"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "lessThan"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "lessThan"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "greaterThan"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "greaterThan"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "lessThanOrEqual"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "lessThanOrEqual"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "greaterThanOrEqual"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.ComparisonConstraint"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "greaterThanOrEqual"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.ComparisonConstraint"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))}),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.edge"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "type"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.core.name"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_type"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "out"))})),
                                              Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeMaybe")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.core.name"))}))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_out"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "in"))})),
                                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeMaybe")),
                                                    Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.core.name"))}))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                          Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_in"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.query.Edge"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "type"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_type"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "out"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_out"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "in"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_in"))}]}))))})))}))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Edge"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.graphPattern"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "graph"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.core.name"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_graph"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "patterns"))})),
                                              Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeList")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))}))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_patterns"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.GraphPattern"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "graph"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_graph"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "patterns"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_patterns"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.GraphPattern"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.node"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "term"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Node"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "term"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.core.term")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "variable"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Node"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "variable"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.variable")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "wildcard"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Node"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "wildcard"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Node"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.path"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "step"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Path"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "step"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.step")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "regex"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Path"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "regex"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.regexSequence")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "inverse"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Path"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "inverse"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.path")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Path"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.pathEquation"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "left"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.path"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_left"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "right"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.path"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_right"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.PathEquation"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "left"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_left"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "right"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_right"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.PathEquation"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.pattern"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "triple"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Pattern"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "triple"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.triplePattern")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "negation"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Pattern"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "negation"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.pattern")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "conjunction"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Pattern"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "conjunction"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeList")),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "disjunction"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Pattern"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "disjunction"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeList")),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "graph"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Pattern"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "graph"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.graphPattern")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Pattern"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.patternImplication"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "antecedent"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_antecedent"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "consequent"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_consequent"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.PatternImplication"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "antecedent"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_antecedent"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "consequent"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_consequent"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.PatternImplication"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.query"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "variables"))})),
                                          Core.applicationArgument = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeList")),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.variable"))}))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_variables"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "patterns"))})),
                                              Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeList")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.pattern"))}))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_patterns"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.Query"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "variables"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_variables"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "patterns"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_patterns"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Query"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.range"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "min"))})),
                                          Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "cx"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                              Core.lambdaParameter = (Core.Name "raw"),
                                              Core.lambdaDomain = Nothing,
                                              Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                      Core.lambdaParameter = (Core.Name "err"),
                                                      Core.lambdaDomain = Nothing,
                                                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "stripped"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                                                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected literal"))}))))),
                                                        Core.caseStatementCases = [
                                                          Core.Field {
                                                            Core.fieldName = (Core.Name "literal"),
                                                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                              Core.lambdaParameter = (Core.Name "v"),
                                                              Core.lambdaDomain = Nothing,
                                                              Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                  Core.caseStatementTypeName = (Core.Name "hydra.core.Literal"),
                                                                  Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                    Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                    Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 literal"))}))))),
                                                                  Core.caseStatementCases = [
                                                                    Core.Field {
                                                                      Core.fieldName = (Core.Name "integer"),
                                                                      Core.fieldTerm = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                        Core.caseStatementTypeName = (Core.Name "hydra.core.IntegerValue"),
                                                                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 value"))}))))),
                                                                        Core.caseStatementCases = [
                                                                          Core.Field {
                                                                            Core.fieldName = (Core.Name "int32"),
                                                                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                              Core.lambdaParameter = (Core.Name "i"),
                                                                              Core.lambdaDomain = Nothing,
                                                                              Core.lambdaBody = (Core.TermEither (Right (Core.TermVariable (Core.Name "i"))))})))}]}))))}]})))),
                                                                Core.applicationArgument = (Core.TermVariable (Core.Name "v"))}))})))}]})))),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                                                Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                                                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))})))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_min"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "max"))})),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "cx"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "raw"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                                                        Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "err"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                            Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                            Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                        Core.lambdaParameter = (Core.Name "stripped"),
                                                        Core.lambdaDomain = Nothing,
                                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                            Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                                                            Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                              Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                              Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected literal"))}))))),
                                                            Core.caseStatementCases = [
                                                              Core.Field {
                                                                Core.fieldName = (Core.Name "literal"),
                                                                Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                  Core.lambdaParameter = (Core.Name "v"),
                                                                  Core.lambdaDomain = Nothing,
                                                                  Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                      Core.caseStatementTypeName = (Core.Name "hydra.core.Literal"),
                                                                      Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                        Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 literal"))}))))),
                                                                      Core.caseStatementCases = [
                                                                        Core.Field {
                                                                          Core.fieldName = (Core.Name "integer"),
                                                                          Core.fieldTerm = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                            Core.caseStatementTypeName = (Core.Name "hydra.core.IntegerValue"),
                                                                            Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                              Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                              Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 value"))}))))),
                                                                            Core.caseStatementCases = [
                                                                              Core.Field {
                                                                                Core.fieldName = (Core.Name "int32"),
                                                                                Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                                  Core.lambdaParameter = (Core.Name "i"),
                                                                                  Core.lambdaDomain = Nothing,
                                                                                  Core.lambdaBody = (Core.TermEither (Right (Core.TermVariable (Core.Name "i"))))})))}]}))))}]})))),
                                                                    Core.applicationArgument = (Core.TermVariable (Core.Name "v"))}))})))}]})))),
                                                          Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))})))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_max"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.Range"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "min"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_min"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "max"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_max"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Range"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.regexQuantifier"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "one"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "one"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "zeroOrOne"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "zeroOrOne"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "zeroOrMore"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "zeroOrMore"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "oneOrMore"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "oneOrMore"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.decodeUnit")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "exactly"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "exactly"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "raw"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                                                          Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                              Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                              Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                                                        Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                              Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                                                              Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected literal"))}))))),
                                                              Core.caseStatementCases = [
                                                                Core.Field {
                                                                  Core.fieldName = (Core.Name "literal"),
                                                                  Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                        Core.caseStatementTypeName = (Core.Name "hydra.core.Literal"),
                                                                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 literal"))}))))),
                                                                        Core.caseStatementCases = [
                                                                          Core.Field {
                                                                            Core.fieldName = (Core.Name "integer"),
                                                                            Core.fieldTerm = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                              Core.caseStatementTypeName = (Core.Name "hydra.core.IntegerValue"),
                                                                              Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                                Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                                Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 value"))}))))),
                                                                              Core.caseStatementCases = [
                                                                                Core.Field {
                                                                                  Core.fieldName = (Core.Name "int32"),
                                                                                  Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                                    Core.lambdaParameter = (Core.Name "i"),
                                                                                    Core.lambdaDomain = Nothing,
                                                                                    Core.lambdaBody = (Core.TermEither (Right (Core.TermVariable (Core.Name "i"))))})))}]}))))}]})))),
                                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "v"))}))})))}]})))),
                                                            Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                                                      Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "atLeast"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "atLeast"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "raw"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                                                          Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                              Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                              Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                                                        Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                              Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                                                              Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected literal"))}))))),
                                                              Core.caseStatementCases = [
                                                                Core.Field {
                                                                  Core.fieldName = (Core.Name "literal"),
                                                                  Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                        Core.caseStatementTypeName = (Core.Name "hydra.core.Literal"),
                                                                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 literal"))}))))),
                                                                        Core.caseStatementCases = [
                                                                          Core.Field {
                                                                            Core.fieldName = (Core.Name "integer"),
                                                                            Core.fieldTerm = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                                              Core.caseStatementTypeName = (Core.Name "hydra.core.IntegerValue"),
                                                                              Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                                                Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                                                Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected int32 value"))}))))),
                                                                              Core.caseStatementCases = [
                                                                                Core.Field {
                                                                                  Core.fieldName = (Core.Name "int32"),
                                                                                  Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                                    Core.lambdaParameter = (Core.Name "i"),
                                                                                    Core.lambdaDomain = Nothing,
                                                                                    Core.lambdaBody = (Core.TermEither (Right (Core.TermVariable (Core.Name "i"))))})))}]}))))}]})))),
                                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "v"))}))})))}]})))),
                                                            Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                                                      Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "range"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.RegexQuantifier"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "range"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.range")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.RegexQuantifier"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.regexSequence"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "path"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.path"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_path"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "quantifier"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.regexQuantifier"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_quantifier"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.query.RegexSequence"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "path"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_path"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "quantifier"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_quantifier"))}]}))))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.RegexSequence"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.step"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected union"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "union"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "inj"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "field"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingType = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.fromList"))),
                                      Core.applicationArgument = (Core.TermList [
                                        Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "edge"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Step"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "edge"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.edge")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "project"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Step"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "project"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.core.projection")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))),
                                        (Core.TermPair (Core.TermWrap (Core.WrappedTerm {
                                          Core.wrappedTermTypeName = (Core.Name "hydra.core.Name"),
                                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "compare"))}), (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                          Core.lambdaParameter = (Core.Name "input"),
                                          Core.lambdaDomain = Nothing,
                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermUnion (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.query.Step"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "compare"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))})))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.decode.query.comparisonConstraint")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))})))))])})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maybes.maybe"))),
                                      Core.applicationArgument = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                        Core.wrappedTermBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.strings.cat"))),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationWrap (Core.Name "hydra.core.Name")))),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "f"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (Core.Name "f")),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fterm"))}))})))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.maps.lookup"))),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "variantMap"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Step"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.triplePattern"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected record"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "record"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "record"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermLet (Core.Let {
                                Core.letBindings = [
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fieldMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingType = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                    Core.applicationArgument = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "subject"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.node"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_subject"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                        Core.applicationArgument = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "predicate"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.path"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_predicate"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.bind"))),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.helpers.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "object"))})),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.query.node"))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                          Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_object"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.query.TriplePattern"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "subject"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_subject"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "predicate"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_predicate"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "object"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_object"))}]}))))})))}))})))}))})))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.TriplePattern"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Module.DefinitionTerm (Module.TermDefinition {
          Module.termDefinitionName = (Core.Name "hydra.decode.query.variable"),
          Module.termDefinitionTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
              Core.lambdaParameter = (Core.Name "raw"),
              Core.lambdaDomain = Nothing,
              Core.lambdaBody = (Core.TermApplication (Core.Application {
                Core.applicationFunction = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                    Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                        Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                        Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                        Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                        Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                          Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                          Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected wrapped type"))}))))),
                        Core.caseStatementCases = [
                          Core.Field {
                            Core.fieldName = (Core.Name "wrap"),
                            Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                              Core.lambdaParameter = (Core.Name "wrappedTerm"),
                              Core.lambdaDomain = Nothing,
                              Core.lambdaBody = (Core.TermApplication (Core.Application {
                                Core.applicationFunction = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.map"))),
                                  Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "b"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermWrap (Core.WrappedTerm {
                                      Core.wrappedTermTypeName = (Core.Name "hydra.query.Variable"),
                                      Core.wrappedTermBody = (Core.TermVariable (Core.Name "b"))}))})))})),
                                Core.applicationArgument = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                      Core.lambdaParameter = (Core.Name "cx"),
                                      Core.lambdaDomain = Nothing,
                                      Core.lambdaBody = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "raw"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermFunction (Core.FunctionPrimitive (Core.Name "hydra.lib.eithers.either"))),
                                              Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "err"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                  Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                  Core.wrappedTermBody = (Core.TermVariable (Core.Name "err"))}))))})))})),
                                            Core.applicationArgument = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                              Core.lambdaParameter = (Core.Name "stripped"),
                                              Core.lambdaDomain = Nothing,
                                              Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                  Core.caseStatementTypeName = (Core.Name "hydra.core.Term"),
                                                  Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                    Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                    Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected literal"))}))))),
                                                  Core.caseStatementCases = [
                                                    Core.Field {
                                                      Core.fieldName = (Core.Name "literal"),
                                                      Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                        Core.lambdaParameter = (Core.Name "v"),
                                                        Core.lambdaDomain = Nothing,
                                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationUnion (Core.CaseStatement {
                                                            Core.caseStatementTypeName = (Core.Name "hydra.core.Literal"),
                                                            Core.caseStatementDefault = (Just (Core.TermEither (Left (Core.TermWrap (Core.WrappedTerm {
                                                              Core.wrappedTermTypeName = (Core.Name "hydra.errors.DecodingError"),
                                                              Core.wrappedTermBody = (Core.TermLiteral (Core.LiteralString "expected string literal"))}))))),
                                                            Core.caseStatementCases = [
                                                              Core.Field {
                                                                Core.fieldName = (Core.Name "string"),
                                                                Core.fieldTerm = (Core.TermFunction (Core.FunctionLambda (Core.Lambda {
                                                                  Core.lambdaParameter = (Core.Name "s"),
                                                                  Core.lambdaDomain = Nothing,
                                                                  Core.lambdaBody = (Core.TermEither (Right (Core.TermVariable (Core.Name "s"))))})))}]})))),
                                                          Core.applicationArgument = (Core.TermVariable (Core.Name "v"))}))})))}]})))),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                                          Core.applicationArgument = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermFunction (Core.FunctionElimination (Core.EliminationRecord (Core.Projection {
                                      Core.projectionTypeName = (Core.Name "hydra.core.WrappedTerm"),
                                      Core.projectionField = (Core.Name "body")})))),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "wrappedTerm"))}))}))}))})))}]})))),
                      Core.applicationArgument = (Core.TermVariable (Core.Name "stripped"))}))})))})),
                Core.applicationArgument = (Core.TermApplication (Core.Application {
                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                    Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.lexical.stripAndDereferenceTermEither")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))})))}))),
          Module.termDefinitionType = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeType = (Core.TypeFunction (Core.FunctionType {
              Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.graph.Graph")),
              Core.functionTypeCodomain = (Core.TypeFunction (Core.FunctionType {
                Core.functionTypeDomain = (Core.TypeVariable (Core.Name "hydra.core.Term")),
                Core.functionTypeCodomain = (Core.TypeEither (Core.EitherType {
                  Core.eitherTypeLeft = (Core.TypeVariable (Core.Name "hydra.errors.DecodingError")),
                  Core.eitherTypeRight = (Core.TypeVariable (Core.Name "hydra.query.Variable"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))}))],
      Module.moduleTermDependencies = [
        Module.Namespace "hydra.extract.helpers",
        (Module.Namespace "hydra.lexical"),
        (Module.Namespace "hydra.rewriting"),
        (Module.Namespace "hydra.decode.core")],
      Module.moduleTypeDependencies = [
        Module.Namespace "hydra.query",
        (Module.Namespace "hydra.util")],
      Module.moduleDescription = (Just "Term decoders for hydra.query")}