hydra-0.15.0: src/main/haskell/Hydra/Sources/Decode/Paths.hs

-- Note: this is an automatically generated file. Do not edit.
-- | Source module for hydra.decode.paths

module Hydra.Sources.Decode.Paths where
import qualified Hydra.Core as Core
import qualified Hydra.Packaging as Packaging
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci
module_ :: Packaging.Module
module_ =
    Packaging.Module {
      Packaging.moduleDescription = (Just "Term decoders for hydra.paths"),
      Packaging.moduleNamespace = (Packaging.Namespace "hydra.decode.paths"),
      Packaging.moduleTermDependencies = [
        Packaging.Namespace "hydra.extract.core",
        (Packaging.Namespace "hydra.lexical"),
        (Packaging.Namespace "hydra.rewriting"),
        (Packaging.Namespace "hydra.decode.core")],
      Packaging.moduleTypeDependencies = [
        Packaging.Namespace "hydra.paths",
        (Packaging.Namespace "hydra.util")],
      Packaging.moduleDefinitions = [
        Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtermEdge"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "source"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermNode"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_source"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "path"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermPath"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermLambda (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.TermVariable (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.core.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "target"))})),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermNode"))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_target"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.paths.SubtermEdge"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "source"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_source"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "path"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_path"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "target"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_target"))}]}))))}))}))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtermEdge"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))}),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtermGraph"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "nodes"))})),
                                          Core.applicationArgument = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeList")),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermNode"))}))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_nodes"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "edges"))})),
                                              Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeList")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermEdge"))}))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_edges"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.paths.SubtermGraph"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "nodes"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_nodes"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "edges"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_edges"))}]}))))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtermGraph"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtermNode"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "name"))})),
                                          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.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_name"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "label"))})),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "cx"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "err"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                      Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                        Core.lambdaParameter = (Core.Name "stripped"),
                                                        Core.lambdaDomain = Nothing,
                                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                  Core.lambdaParameter = (Core.Name "v"),
                                                                  Core.lambdaDomain = Nothing,
                                                                  Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                    Core.applicationFunction = (Core.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                        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.TermLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_label"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "id"))})),
                                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "cx"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                            Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                              Core.lambdaParameter = (Core.Name "err"),
                                                              Core.lambdaDomain = Nothing,
                                                              Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "stripped"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                              Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                      Core.lambdaParameter = (Core.Name "v"),
                                                                      Core.lambdaDomain = Nothing,
                                                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                        Core.applicationFunction = (Core.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                            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.TermLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_id"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.paths.SubtermNode"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "name"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_name"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "label"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_label"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "id"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_id"))}]}))))}))}))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtermNode"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtermPath"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "b"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermWrap (Core.WrappedTerm {
                                      Core.wrappedTermTypeName = (Core.Name "hydra.paths.SubtermPath"),
                                      Core.wrappedTermBody = (Core.TermVariable (Core.Name "b"))}))}))})),
                                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.core.decodeList")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtermStep"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermProject (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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtermPath"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtermStep"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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 "inject"),
                            Core.fieldTerm = (Core.TermLambda (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.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (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 "annotatedBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "annotatedBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "applicationFunction"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "applicationFunction"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "applicationArgument"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "applicationArgument"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "lambdaBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "lambdaBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "unionCasesDefault"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "unionCasesDefault"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "unionCasesBranch"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "unionCasesBranch"),
                                                    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.name")),
                                                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 "letBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "letBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "letBinding"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "letBinding"),
                                                    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.name")),
                                                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 "listElement"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "listElement"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermCases (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.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                          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 "mapKey"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "mapKey"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermCases (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.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                          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 "mapValue"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "mapValue"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermCases (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.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                          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 "maybeTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "maybeTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "productTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "productTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermCases (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.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                          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 "recordField"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "recordField"),
                                                    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.name")),
                                                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 "setElement"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "setElement"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "err"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "stripped"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                            Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                    Core.lambdaParameter = (Core.Name "v"),
                                                                    Core.lambdaDomain = Nothing,
                                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                      Core.applicationFunction = (Core.TermCases (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.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                          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 "sumTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "sumTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "typeLambdaBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "typeLambdaBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "typeApplicationTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "typeApplicationTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "injectionTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "injectionTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "wrappedTerm"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "wrappedTerm"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))])})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (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.TermVariable (Core.Name "hydra.lib.strings.cat")),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.core.Name")),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermLambda (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.TermVariable (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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtermStep"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtypeEdge"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "source"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypeNode"))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_source"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "path"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypePath"))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermLambda (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.TermVariable (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.core.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "target"))})),
                                                  Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypeNode"))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_target"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.paths.SubtypeEdge"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "source"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_source"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "path"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_path"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "target"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_target"))}]}))))}))}))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtypeEdge"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtypeGraph"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "nodes"))})),
                                          Core.applicationArgument = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeList")),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypeNode"))}))})),
                                        Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_nodes"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "edges"))})),
                                              Core.applicationArgument = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeList")),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypeEdge"))}))})),
                                            Core.applicationArgument = (Core.TermVariable (Core.Name "fieldMap"))})),
                                          Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))}))})),
                                      Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_edges"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                          Core.recordTypeName = (Core.Name "hydra.paths.SubtypeGraph"),
                                          Core.recordFields = [
                                            Core.Field {
                                              Core.fieldName = (Core.Name "nodes"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_nodes"))},
                                            Core.Field {
                                              Core.fieldName = (Core.Name "edges"),
                                              Core.fieldTerm = (Core.TermVariable (Core.Name "field_edges"))}]}))))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtypeGraph"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtypeNode"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.core.toFieldMap")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "record"))})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                            Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "name"))})),
                                          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.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "field_name"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                        Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "label"))})),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "cx"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                        Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                          Core.lambdaParameter = (Core.Name "err"),
                                                          Core.lambdaDomain = Nothing,
                                                          Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                      Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                        Core.lambdaParameter = (Core.Name "stripped"),
                                                        Core.lambdaDomain = Nothing,
                                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                          Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                  Core.lambdaParameter = (Core.Name "v"),
                                                                  Core.lambdaDomain = Nothing,
                                                                  Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                    Core.applicationFunction = (Core.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                        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.TermLambda (Core.Lambda {
                                        Core.lambdaParameter = (Core.Name "field_label"),
                                        Core.lambdaDomain = Nothing,
                                        Core.lambdaBody = (Core.TermApplication (Core.Application {
                                          Core.applicationFunction = (Core.TermApplication (Core.Application {
                                            Core.applicationFunction = (Core.TermVariable (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.core.requireField")),
                                                    Core.applicationArgument = (Core.TermLiteral (Core.LiteralString "id"))})),
                                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "cx"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                                                            Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                              Core.lambdaParameter = (Core.Name "err"),
                                                              Core.lambdaDomain = Nothing,
                                                              Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                                                          Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                            Core.lambdaParameter = (Core.Name "stripped"),
                                                            Core.lambdaDomain = Nothing,
                                                            Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                              Core.applicationFunction = (Core.TermCases (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.TermLambda (Core.Lambda {
                                                                      Core.lambdaParameter = (Core.Name "v"),
                                                                      Core.lambdaDomain = Nothing,
                                                                      Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                                        Core.applicationFunction = (Core.TermCases (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.TermLambda (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.extract.core.stripWithDecodingError")),
                                                            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.TermLambda (Core.Lambda {
                                            Core.lambdaParameter = (Core.Name "field_id"),
                                            Core.lambdaDomain = Nothing,
                                            Core.lambdaBody = (Core.TermEither (Right (Core.TermRecord (Core.Record {
                                              Core.recordTypeName = (Core.Name "hydra.paths.SubtypeNode"),
                                              Core.recordFields = [
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "name"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_name"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "label"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_label"))},
                                                Core.Field {
                                                  Core.fieldName = (Core.Name "id"),
                                                  Core.fieldTerm = (Core.TermVariable (Core.Name "field_id"))}]}))))}))}))}))}))}))}))}))}))}]})),
                      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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtypeNode"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtypePath"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                    Core.lambdaParameter = (Core.Name "b"),
                                    Core.lambdaDomain = Nothing,
                                    Core.lambdaBody = (Core.TermWrap (Core.WrappedTerm {
                                      Core.wrappedTermTypeName = (Core.Name "hydra.paths.SubtypePath"),
                                      Core.wrappedTermBody = (Core.TermVariable (Core.Name "b"))}))}))})),
                                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.core.decodeList")),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "hydra.decode.paths.subtypeStep"))})),
                                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                  Core.applicationArgument = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermProject (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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtypePath"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))})),
        (Packaging.DefinitionTerm (Packaging.TermDefinition {
          Packaging.termDefinitionName = (Core.Name "hydra.decode.paths.subtypeStep"),
          Packaging.termDefinitionTerm = (Core.TermLambda (Core.Lambda {
            Core.lambdaParameter = (Core.Name "cx"),
            Core.lambdaDomain = Nothing,
            Core.lambdaBody = (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.either")),
                    Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                      Core.lambdaParameter = (Core.Name "err"),
                      Core.lambdaDomain = Nothing,
                      Core.lambdaBody = (Core.TermEither (Left (Core.TermVariable (Core.Name "err"))))}))})),
                  Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                    Core.lambdaParameter = (Core.Name "stripped"),
                    Core.lambdaDomain = Nothing,
                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                      Core.applicationFunction = (Core.TermCases (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 "inject"),
                            Core.fieldTerm = (Core.TermLambda (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.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Injection"),
                                        Core.projectionField = (Core.Name "field")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "inj"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fname"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "name")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "fterm"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermProject (Core.Projection {
                                        Core.projectionTypeName = (Core.Name "hydra.core.Field"),
                                        Core.projectionField = (Core.Name "term")})),
                                      Core.applicationArgument = (Core.TermVariable (Core.Name "field"))})),
                                    Core.bindingTypeScheme = Nothing},
                                  Core.Binding {
                                    Core.bindingName = (Core.Name "variantMap"),
                                    Core.bindingTerm = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (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 "annotatedBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "annotatedBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "applicationFunction"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "applicationFunction"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "applicationArgument"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "applicationArgument"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "eitherLeft"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "eitherLeft"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "eitherRight"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "eitherRight"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "forallBody"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "forallBody"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "functionDomain"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "functionDomain"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "functionCodomain"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "functionCodomain"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "listElement"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "listElement"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "mapKeys"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "mapKeys"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "mapValues"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "mapValues"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "maybeElement"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "maybeElement"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "pairFirst"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "pairFirst"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "pairSecond"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "pairSecond"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "recordField"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "recordField"),
                                                    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.name")),
                                                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 "setElement"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "setElement"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                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 "unionField"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "unionField"),
                                                    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.name")),
                                                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 "wrappedType"))}), (Core.TermLambda (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.TermVariable (Core.Name "hydra.lib.eithers.map")),
                                              Core.applicationArgument = (Core.TermLambda (Core.Lambda {
                                                Core.lambdaParameter = (Core.Name "t"),
                                                Core.lambdaDomain = Nothing,
                                                Core.lambdaBody = (Core.TermInject (Core.Injection {
                                                  Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
                                                  Core.injectionField = Core.Field {
                                                    Core.fieldName = (Core.Name "wrappedType"),
                                                    Core.fieldTerm = (Core.TermVariable (Core.Name "t"))}}))}))})),
                                            Core.applicationArgument = (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                Core.applicationFunction = (Core.TermLambda (Core.Lambda {
                                                  Core.lambdaParameter = (Core.Name "cx"),
                                                  Core.lambdaDomain = Nothing,
                                                  Core.lambdaBody = (Core.TermLambda (Core.Lambda {
                                                    Core.lambdaParameter = (Core.Name "t"),
                                                    Core.lambdaDomain = Nothing,
                                                    Core.lambdaBody = (Core.TermApplication (Core.Application {
                                                      Core.applicationFunction = (Core.TermApplication (Core.Application {
                                                        Core.applicationFunction = (Core.TermVariable (Core.Name "hydra.extract.core.decodeUnit")),
                                                        Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                                      Core.applicationArgument = (Core.TermVariable (Core.Name "t"))}))}))})),
                                                Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "input"))}))}))}))))])})),
                                    Core.bindingTypeScheme = Nothing}],
                                Core.letBody = (Core.TermApplication (Core.Application {
                                  Core.applicationFunction = (Core.TermApplication (Core.Application {
                                    Core.applicationFunction = (Core.TermApplication (Core.Application {
                                      Core.applicationFunction = (Core.TermVariable (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.TermVariable (Core.Name "hydra.lib.strings.cat")),
                                          Core.applicationArgument = (Core.TermList [
                                            Core.TermLiteral (Core.LiteralString "no such field "),
                                            (Core.TermApplication (Core.Application {
                                              Core.applicationFunction = (Core.TermUnwrap (Core.Name "hydra.core.Name")),
                                              Core.applicationArgument = (Core.TermVariable (Core.Name "fname"))})),
                                            (Core.TermLiteral (Core.LiteralString " in union"))])}))}))))})),
                                    Core.applicationArgument = (Core.TermLambda (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.TermVariable (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.extract.core.stripWithDecodingError")),
                    Core.applicationArgument = (Core.TermVariable (Core.Name "cx"))})),
                  Core.applicationArgument = (Core.TermVariable (Core.Name "raw"))}))}))}))})),
          Packaging.termDefinitionTypeScheme = (Just (Core.TypeScheme {
            Core.typeSchemeVariables = [],
            Core.typeSchemeBody = (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.paths.SubtypeStep"))}))}))})),
            Core.typeSchemeConstraints = Nothing}))}))]}