GradingClient/Main.hs:0:0: Splicing declarations
    singletons
      [d| lastName, majorName, gradeName, yearName, firstName :: [AChar]
          lastName = [CL, CA, CS, CT]
          firstName = [CF, CI, CR, CS, CT]
          yearName = [CY, CE, CA, CR]
          gradeName = [CG, CR, CA, CD, CE]
          majorName = [CM, CA, CJ, CO, CR]
          gradingSchema :: Schema
          gradingSchema
            = Sch
                [Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
                 Attr gradeName NAT, Attr majorName BOOL]
          names :: Schema
          names = Sch [Attr firstName STRING, Attr lastName STRING] |]
  ======>
    GradingClient/Main.hs:(0,0)-(0,0)
    lastName :: [AChar]
    majorName :: [AChar]
    gradeName :: [AChar]
    yearName :: [AChar]
    firstName :: [AChar]
    lastName = [CL, CA, CS, CT]
    firstName = [CF, CI, CR, CS, CT]
    yearName = [CY, CE, CA, CR]
    gradeName = [CG, CR, CA, CD, CE]
    majorName = [CM, CA, CJ, CO, CR]
    gradingSchema :: Schema
    gradingSchema
      = Sch
          [Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
           Attr gradeName NAT, Attr majorName BOOL]
    names :: Schema
    names = Sch [Attr firstName STRING, Attr lastName STRING]
    type MajorNameSym0 = MajorName
    type GradeNameSym0 = GradeName
    type YearNameSym0 = YearName
    type FirstNameSym0 = FirstName
    type LastNameSym0 = LastName
    type GradingSchemaSym0 = GradingSchema
    type NamesSym0 = Names
    type MajorName =
        (Apply (Apply (:$) CMSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CJSym0) (Apply (Apply (:$) COSym0) (Apply (Apply (:$) CRSym0) '[])))) :: [AChar])
    type GradeName =
        (Apply (Apply (:$) CGSym0) (Apply (Apply (:$) CRSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CDSym0) (Apply (Apply (:$) CESym0) '[])))) :: [AChar])
    type YearName =
        (Apply (Apply (:$) CYSym0) (Apply (Apply (:$) CESym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CRSym0) '[]))) :: [AChar])
    type FirstName =
        (Apply (Apply (:$) CFSym0) (Apply (Apply (:$) CISym0) (Apply (Apply (:$) CRSym0) (Apply (Apply (:$) CSSym0) (Apply (Apply (:$) CTSym0) '[])))) :: [AChar])
    type LastName =
        (Apply (Apply (:$) CLSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CSSym0) (Apply (Apply (:$) CTSym0) '[]))) :: [AChar])
    type GradingSchema =
        (Apply SchSym0 (Apply (Apply (:$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 YearNameSym0) NATSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 GradeNameSym0) NATSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 MajorNameSym0) BOOLSym0)) '[]))))) :: Schema)
    type Names =
        (Apply SchSym0 (Apply (Apply (:$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) '[])) :: Schema)
    sMajorName :: Sing MajorNameSym0
    sGradeName :: Sing GradeNameSym0
    sYearName :: Sing YearNameSym0
    sFirstName :: Sing FirstNameSym0
    sLastName :: Sing LastNameSym0
    sGradingSchema :: Sing GradingSchemaSym0
    sNames :: Sing NamesSym0
    sMajorName
      = applySing
          (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCM)
          (applySing
             (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
             (applySing
                (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCJ)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCO)
                   (applySing
                      (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR) SNil))))
    sGradeName
      = applySing
          (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCG)
          (applySing
             (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR)
             (applySing
                (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCD)
                   (applySing
                      (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCE) SNil))))
    sYearName
      = applySing
          (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCY)
          (applySing
             (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCE)
             (applySing
                (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR) SNil)))
    sFirstName
      = applySing
          (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCF)
          (applySing
             (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCI)
             (applySing
                (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCS)
                   (applySing
                      (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCT) SNil))))
    sLastName
      = applySing
          (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCL)
          (applySing
             (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
             (applySing
                (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCS)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCT) SNil)))
    sGradingSchema
      = applySing
          (singFun1 (Proxy :: Proxy SchSym0) SSch)
          (applySing
             (applySing
                (singFun2 (Proxy :: Proxy (:$)) SCons)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sLastName)
                   SSTRING))
             (applySing
                (applySing
                   (singFun2 (Proxy :: Proxy (:$)) SCons)
                   (applySing
                      (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sFirstName)
                      SSTRING))
                (applySing
                   (applySing
                      (singFun2 (Proxy :: Proxy (:$)) SCons)
                      (applySing
                         (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sYearName)
                         SNAT))
                   (applySing
                      (applySing
                         (singFun2 (Proxy :: Proxy (:$)) SCons)
                         (applySing
                            (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sGradeName)
                            SNAT))
                      (applySing
                         (applySing
                            (singFun2 (Proxy :: Proxy (:$)) SCons)
                            (applySing
                               (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sMajorName)
                               SBOOL))
                         SNil)))))
    sNames
      = applySing
          (singFun1 (Proxy :: Proxy SchSym0) SSch)
          (applySing
             (applySing
                (singFun2 (Proxy :: Proxy (:$)) SCons)
                (applySing
                   (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sFirstName)
                   SSTRING))
             (applySing
                (applySing
                   (singFun2 (Proxy :: Proxy (:$)) SCons)
                   (applySing
                      (applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sLastName)
                      SSTRING))
                SNil))