.. _extensions-to-type-signatures:

Type signatures
===============

.. toctree::
    :maxdepth: 1

    explicit_forall
    flexible_contexts_signature
    ambiguous_types
    kind_signatures
    scoped_type_variables
    implicit_parameters
    partial_type_signatures
