.. _data-type-extensions:

Types
=====

.. toctree::
    :maxdepth: 1

    nullary_types
    datatype_contexts
    infix_tycons
    type_operators
    liberal_type_synonyms
    existential_quantification
    gadt_syntax
    gadt
    type_families
    data_kinds
    poly_kinds
    levity_polymorphism
    type_literals
    type_applications
    rank_polymorphism
    impredicative_types
    linear_types
    type_errors
    defer_type_errors
    roles
