.. _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