Dickinson
  { modImports = []
  , modDefs =
    [ Define
      { declAnn = ()
      , defName = Name
        { name = "quote" :| []
        , unique = Unique { unUnique = 5 }
        , loc = ()
        }
      , defExpr = Lambda
        { exprAnn = ()
        , lambdaVar = Name
          { name = "qu" :| []
          , unique = Unique { unUnique = 7 }
          , loc = ()
          }
        , lambdaTy = TyText ()
        , lambdaExpr = Lambda
          { exprAnn = ()
          , lambdaVar = Name
            { name = "name" :| []
            , unique = Unique { unUnique = 8 }
            , loc = ()
            }
          , lambdaTy = TyText ()
          , lambdaExpr = Interp
            { exprAnn = ()
            , exprInterp =
              [ Var
                { exprAnn = ()
                , exprVar = Name
                  { name = "qu" :| []
                  , unique = Unique { unUnique = 7 }
                  , loc = ()
                  }
                }
              , StrChunk
                { exprAnn = ()
                , chunkText = "
        — "
                }
              , Var
                { exprAnn = ()
                , exprVar = Name
                  { name = "name" :| []
                  , unique = Unique { unUnique = 8 }
                  , loc = ()
                  }
                }
              ]
            }
          }
        }
      }
    , Define
      { declAnn = ()
      , defName = Name
        { name = "main" :| []
        , unique = Unique { unUnique = 6 }
        , loc = ()
        }
      , defExpr = Choice
        { exprAnn = ()
        , choices =
          ( 1.0
          , Apply
            { exprAnn = ()
            , exprFun = Apply
              { exprAnn = ()
              , exprFun = Var
                { exprAnn = ()
                , exprVar = Name
                  { name = "quote" :| []
                  , unique = Unique { unUnique = 5 }
                  , loc = ()
                  }
                }
              , exprArg = Literal
                { exprAnn = ()
                , litText = "God created war so that Americans would learn geography."
                }
              }
            , exprArg = Literal
              { exprAnn = ()
              , litText = "Mark Twain"
              }
            }
          ) :| []
        }
      }
    ]
  }