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"
}
}
) :| []
}
}
]
}