\newlabel{introduction}{{1}{1}}
\newlabel{programs}{{1.1}{1}}
\newlabel{intro-kernel}{{1.2}{2}}
\newlabel{errors}{{1.3}{2}}
\newlabel{namespaces}{{1.4}{2}}
\newlabel{lexical-structure}{{2}{4}}
\newlabel{notational-conventions}{{2.1}{4}}
\newlabel{lexemes}{{2.2}{5}}
\newlabel{whitespace}{{2.2}{5}}
\newlabel{ids}{{2.4}{6}}
\newlabel{lexemes-numeric}{{2.5}{8}}
\newlabel{lexemes-char}{{2.6}{8}}
\newlabel{lexemes-layout}{{2.7}{9}}
\newlabel{layout-before}{{1}{11}}
\newlabel{layout-after}{{2}{11}}
\newlabel{expressions}{{3}{12}}
\newlabel{syntax-precedences}{{1}{13}}
\newlabel{basic-errors}{{3.1}{14}}
\newlabel{applications}{{3.3}{16}}
\newlabel{lambda-abstractions}{{3.3}{16}}
\newlabel{operators}{{3.4}{16}}
\newlabel{sections}{{3.5}{17}}
\newlabel{conditionals}{{3.6}{17}}
\newlabel{lists}{{3.7}{18}}
\newlabel{tuples}{{3.8}{18}}
\newlabel{unit-expression}{{3.9}{18}}
\newlabel{arithmetic-sequences}{{3.10}{19}}
\newlabel{list-comprehensions}{{3.11}{19}}
\newlabel{let-expressions}{{3.12}{21}}
\newlabel{case}{{3.13}{21}}
\newlabel{do-expressions}{{3.14}{22}}
\newlabel{field-ops}{{3.15}{23}}
\newlabel{expression-type-sigs}{{3.16}{25}}
\newlabel{pattern-matching}{{3.17}{26}}
\newlabel{patterns}{{3.17}{26}}
\newlabel{pattern-definitions}{{3.17.1}{26}}
\newlabel{case-semantics}{{3.17.3}{29}}
\newlabel{simple-case-expr-1}{{3}{30}}
\newlabel{simple-case-expr-2}{{4}{31}}
\newlabel{declarations}{{4}{32}}
\newlabel{types-overview}{{4.1}{33}}
\newlabel{type-syntax}{{4.1.1}{34}}
\newlabel{types}{{4.1.1}{34}}
\newlabel{classes&contexts}{{4.1.2}{36}}
\newlabel{type-semantics}{{4.1.3}{36}}
\newlabel{user-defined-datatypes}{{4.2}{37}}
\newlabel{datatype-decls}{{4.2.1}{38}}
\newlabel{field-labels}{{4.2.1}{39}}
\newlabel{strictness-flags}{{4.2.1}{39}}
\newlabel{type-synonym-decls}{{4.2.2}{40}}
\newlabel{datatype-renaming}{{4.2.3}{41}}
\newlabel{overloading}{{4.3}{42}}
\newlabel{classes}{{4.3}{42}}
\newlabel{class-decls}{{4.3.1}{42}}
\newlabel{instance-decls}{{4.3.2}{43}}
\newlabel{derived-decls}{{4.3.3}{45}}
\newlabel{default-decls}{{4.3.4}{45}}
\newlabel{nested}{{4.4}{47}}
\newlabel{type-signatures}{{4.4.1}{47}}
\newlabel{function-bindings}{{4.4.2}{48}}
\newlabel{pattern-bindings}{{4.4.2}{48}}
\newlabel{dependencyanalysis}{{4.5}{50}}
\newlabel{generalization}{{4.5.2}{51}}
\newlabel{context-reduction}{{4.5.3}{52}}
\newlabel{monomorphism}{{4.5.4}{52}}
\newlabel{sect:monomorphism-restriction}{{4.5.5}{53}}
\newlabel{kindinference}{{4.6}{56}}
\newlabel{modules}{{5}{57}}
\newlabel{module-implementations}{{5.1}{57}}
\newlabel{export}{{5.2}{58}}
\newlabel{import}{{5.3}{59}}
\newlabel{as-clause}{{5.3.2}{61}}
\newlabel{qualifiers}{{5.5.1}{61}}
\newlabel{closure}{{5.5.3}{63}}
\newlabel{standard-prelude}{{5.6}{64}}
\newlabel{std-prel-shadowing}{{5.6.2}{65}}
\newlabel{abstract-types}{{5.8}{66}}
\newlabel{fixity}{{5.9}{66}}
\newlabel{prelude-fixities}{{2}{67}}
\newlabel{basic-types-and-classes}{{6}{68}}
\newlabel{basic-types}{{6.1}{68}}
\newlabel{booleans}{{6.1.1}{68}}
\newlabel{prelude-bool}{{6.1.1}{68}}
\newlabel{characters}{{6.1.2}{68}}
\newlabel{basic-lists}{{6.1.3}{69}}
\newlabel{basic-tuples}{{6.1.4}{69}}
\newlabel{basic-trivial}{{6.1.5}{69}}
\newlabel{strict-eval}{{6.2}{70}}
\newlabel{standard-classes}{{5}{72}}
\newlabel{monad-class}{{6.3.6}{76}}
\newlabel{numbers}{{6.4}{77}}
\newlabel{numeric-literals}{{6.4.1}{77}}
\newlabel{standard-numeric-types}{{3}{78}}
\newlabel{arithmetic-operators}{{6.4.2}{78}}
\newlabel{basic-numeric-1}{{6}{79}}
\newlabel{magnitude-sign}{{6.4.4}{79}}
\newlabel{basic-numeric-2}{{7}{80}}
\newlabel{coercion}{{6.4.6}{81}}
\newlabel{io}{{7}{83}}
\newlabel{stdprelude}{{A}{87}}
\newlabel{preludelist}{{A.1}{101}}
\newlabel{preludetext}{{A.2}{108}}
\newlabel{preludeio}{{A.3}{113}}
\newlabel{syntax}{{B}{115}}
\newlabel{layout}{{B.3}{118}}
\newlabel{bnf}{{B.4}{121}}
\newlabel{literate}{{C}{126}}
\newlabel{derived-appendix}{{D}{128}}
\newlabel{tree-inst}{{8}{132}}
\newlabel{pragmas}{{E}{133}}
